Published September 9, 2019
| Version 1.2.0
Dataset
Open
Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking"
Description
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).
This is the version that corresponds to the final, published paper.
Files
Files
(198.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f6b3306608b16810c1b2993424555355
|
192.1 MB | Download |
|
md5:fe255f1d0326b663548e785e01b8fd46
|
6.8 MB | Download |