Omschrijving
This is a reproduction package for the experiments that were performed as part of the work 'Unfolding State Variables Improves Model Checking'.
| Datum van beschikbaarheid | 10 jul. 2024 |
|---|---|
| Uitgever | Zenodo |
Artifact for 'Unfolding State Variables Improves Model Checking'
- Anna Stramaglia (Ontwerper)
- Jeroen J.A. Keiren (Ontwerper)
- Thomas Neele (Ontwerper)
Dataset