Description
This is a reproduction package for the experiments that were performed as part of the work 'Efficient Evidence Generation for Modal μ-Calculus Model Checking'.
| Date made available | 10 Jan 2025 |
|---|---|
| Publisher | Zenodo |
Cite this
- DataSetCite
Artifact for 'Efficient Evidence Generation for Modal μ-Calculus Model Checking'
- Anna Stramaglia (Creator)
- Jeroen J.A. Keiren (Creator)
- Maurice Laveaux (Creator)
- Tim A.C. Willemse (Creator)
Dataset