热点事件持续更新
IRONPROOF：基于SMT等价检查的COBOL转Python
1 篇报道1 个报道来源2 小时前 更新
先了解这件事
AI 综述
2026年10月9日，arXiv Software Engineering 发表（一手）IRONPROOF 方法：将 COBOL 解析为中间表示并生成 Python，再用 Z3 公式对共享输入编码，输出机器可验证的等价证明（UNSAT）或反例（SAT）。目前仅见该报道，方法细节与实验验证情况尚待更多公开资料。
AI 根据报道生成 · 2 小时前更新
最新进展10月9日 12:00
arXiv 发表 IRONPROOF，用 Z3 对共享输入编码并输出等价证明或反例。报道时间线
沿着报道，了解事件的不同侧面。
10月9日
- arXiv · Software EngineeringIRONPROOF：基于 SMT 等价性检查的 COBOL 到 Python 转译
IRONPROOF 将 COBOL 解析为中间表示并生成 Python，再用 Z3 公式对共享输入编码，输出机器可验证的等价证明（UNSAT）或反例（SAT）。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。