There is a newer version of the record available.

Published February 20, 2019 | Version v1
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-package.zip

Files (29.4 MB)

Name Size Download all
md5:5461074b392f125e783c3489bfdc3a90
29.4 MB Preview Download