zenodoopen
Runtime Monitoring of Refinement Progress in CEGAR-based Model Checking: Dataset
<p>Dataset used in the evaluation of Part II of the MSc thesis titled "Extending the Capabilities of the CEGAR Model Checking Algorithm"</p>
ShareScore
32/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 0