Published June 3, 2023
| Version v1
Dataset
Open
Runtime Monitoring of Refinement Progress in CEGAR-based Model Checking: Dataset
Description
Dataset used in the evaluation of Part II of the MSc thesis titled "Extending the Capabilities of the CEGAR Model Checking Algorithm"
Files
artifact.zip
Files
(651.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1693c6a313dd9a894d8847db86d841c0
|
651.5 MB | Preview Download |