Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking"
From MaRDI portal
(Redirected from Dataset:6695686)
DOI10.5281/zenodo.3893955Zenodo3893955MaRDI QIDQ6695686FDOQ6695686
Dataset published at Zenodo repository.
Publication date: 15 June 2020
Copyright license: Creative Commons Attribution 4.0 International
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.
This page was built for dataset: Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking"
