arXiv cs.SE· Dominik Blain·· 4 小时前AI 评分26
IRONPROOF：基于 SMT 等价性检查的 COBOL 到 Python 转译
IRONPROOF: COBOL-to-Python Transpilation with SMT-Based Equivalence Checking
AI 导读
IRONPROOF 将 COBOL 解析为中间表示并生成 Python，再用 Z3 编码为共享输入上的公式，输出可机器校验的等价性证书（UNSAT）或反例（SAT）。
来源：arXiv cs.SE · arxiv.org