MERCorg/merc: v1.1

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Maurice Laveaux, jjmartens
DOI: 10.5281/zenodo.18244741
Cited by: 0

Abstract

The merc-lps tool has been introduced and can be used to explore mCRL2 linear process specifications symbolically. This is currently not very efficient, but will be improved in future releases. The symbolic bisimulation reduction is currently not working properly and should not be used. See the README.md of the individual crates for their own changelogs, which contain many improves and fixes to existing behaviour. Full Changelog: https://github.com/MERCorg/merc/compare/v1.1...v2.0

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Petri Nets in System Modeling

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
14 January 2026
Language
EN