Description
A set of benchmarks consisting of mCRL2 specifications that can be compared using the ltscompare tool of the mCRL2 toolset.
| Date made available | 19 Sept 2019 |
|---|---|
| Publisher | Zenodo |
Cite this
- DataSetCite
Antichain-based refinement checking benchmark using the mCRL2 toolset
- Maurice Laveaux (Contributor)
Dataset