Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking" (Q6695686)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking" |
Dataset published at Zenodo repository. |
Statements
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.
0 references
15 June 2020
0 references
1.2.1
0 references
