Published June 15, 2020
| Version 1.2.1
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).
Version 1.2.0 corresponds to the final, published paper. This version (1.2.1) is a minor update that added two new plots.
Files
Files
(198.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5b328d4f576d383015eb33a05b9a476b
|
191.8 MB | Download |
|
md5:3e9aa14d790cf31fd2a228c5a11e8e8b
|
6.9 MB | Download |