Skip to content
Hot eventLive

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

1 reports1 sources3 hr ago updated

Get the story

AI overview

2026年10月9日，arXiv Software Engineering 发表（一手）IRONPROOF 方法：将 COBOL 解析为中间表示并生成 Python，再用 Z3 公式对共享输入编码，输出机器可验证的等价证明（UNSAT）或反例（SAT）。目前仅见该报道，方法细节与实验验证情况尚待更多公开资料。

Generated from reports · updated 3 hr ago

LatestOct 9
arXiv 发表 IRONPROOF，用 Z3 对共享输入编码并输出等价证明或反例。

Timeline

Follow the coverage from different angles.

Oct 9, 2026
  1. arXiv · Software Engineering
    IRONPROOF：基于 SMT 等价性检查的 COBOL 到 Python 转译

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

Heat trend

Current heat 9·Comparable peak 10（Oct 9）·Comparable change over 24 hours –

02.557.510Oct9Oct9Oct9Oct9

The trend compares only the same participants observed continuously; its range may be smaller than the current heat count. Move or click on the chart to inspect hourly heat; use the left and right arrow keys to switch.