Description
This is a reproduction package for the experiments that were performed as part of the work 'Unfolding State Variables Improves Model Checking'.
| Date made available | 10 Jul 2024 |
|---|---|
| Publisher | Zenodo |
Cite this
- DataSetCite
Artifact for 'Unfolding State Variables Improves Model Checking'
- Anna Stramaglia (Creator)
- Jeroen J.A. Keiren (Creator)
- Thomas Neele (Creator)
Dataset