Published February 18, 2019
| Version 1.1.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).
Files
Files
(199.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:35f44447f3c118f5f799693218e23b43
|
192.1 MB | Download |
|
md5:e773afb8b50fdd5b6084c59742cb2f9b
|
7.6 MB | Download |