Omschrijving
A set of benchmarks consisting of mCRL2 specifications that can be compared using the ltscompare tool of the mCRL2 toolset.
| Datum van beschikbaarheid | 19 sep. 2019 |
|---|---|
| Uitgever | Zenodo |
Antichain-based refinement checking benchmark using the mCRL2 toolset
- Maurice Laveaux (Bijdrager)
Dataset