arXiv · Software Engineering· Dominik Blain·Oct 9, 2026, 12:00· 4 hr agoAI score41

IRONPROOF：基于 SMT 等价性检查的 COBOL 到 Python 转译

IRONPROOF: COBOL-to-Python Transpilation with SMT-Based Equivalence Checking

AI brief

IRONPROOF 将 COBOL 解析为中间表示并生成 Python，再用 Z3 公式对共享输入编码，输出机器可验证的等价证明（UNSAT）或反例（SAT）。