Published September 19, 2019 | Version v3
Dataset Open

Antichain-based refinement checking benchmark using the mCRL2 toolset.

Authors/Creators

  • 1. Eindhoven University of Technology

Description

A set of benchmarks consisting of mCRL2 specifications that can be compared using the ltscompare tool of the mCRL2 toolset.

Files

antichain-benchmarks.zip

Files (38.7 MB)

Name Size Download all
md5:956c456098ee9573d7c7ee9a267f7355
38.7 MB Preview Download