TalisMan2.0 (Artifact)
收藏DataCite Commons2026-05-04 更新2026-05-07 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.20019347
下载链接
链接失效反馈官方服务：
资源简介：
TalisMan Version 2.0 is a verification and analysis tool for AIG-based circuits.
This artifact contains the source code used in the experimental evaluation in the paper:
C. Hofstadler, D.Kaufmann, and C. ChenAvoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic CircuitsIntl. Joint Conference on Automated Reasoning (IJCAR), 2026
提供机构：
Zenodo
创建时间：
2026-05-04
