Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking"
收藏数据链接：
官方服务：
资源简介：
Supplementary material for the paper "Efficient Strategies for CEGAR-based Model Checking" by Akos Hajdu and Zoltan Micskei. The material includes a detailed report (report.html) and all artifacts to replicate our measurements and analysis (artifact.tar.gz).
提供机构：
Zenodo创建时间：
2019-02-18
