An Overview of the mCRL2 Toolset and Its Recent Advances

DOI10.1007/978-3-642-36742-7_15zbMath1381.68198OpenAlexW2130413791MaRDI QIDQ5326326

Frank P. M. Stappers, Sjoerd Cranen, Jan Friso Groote, Wieger Wesselink, Jeroen J. A. Keiren, E. P. de Vink, Tim A. C. Willemse

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_15

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (22)

Abstraction in Fixpoint Logic ⋮ An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation ⋮ Family-Based SPL Model Checking Using Parity Games with Variability ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Axiomatizing recursion-free, regular monitors ⋮ An efficient algorithm to determine probabilistic bisimulation ⋮ Input-output conformance testing for software product lines ⋮ Combine and conquer: relating BIP and Reo ⋮ Revisiting sequential composition in process calculi ⋮ A formalisation of consistent consequence for Boolean equation systems ⋮ Logical characterisations, rule formats and compositionality for input-output conformance simulation ⋮ Analysing AWN-Specifications Using mCRL2 (Extended Abstract) ⋮ Better automata through process algebra ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Justifications and a reconstruction of parity game solving algorithms ⋮ Verification of distributed systems with the axiomatic system of MSVL ⋮ Unnamed Item ⋮ A formal verification technique for behavioural model-to-model transformations ⋮ An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation ⋮ Unnamed Item ⋮ Branching Bisimulation Games ⋮ Lifted structural invariant analysis of Petri net product lines

Uses Software

• PRISM
• mCRL2
• SPIN
• DiVinE
• NuSMV
• Uppaal
• CADP
• LTSmin
• JITty
• SMI++
• PAT

This page was built for publication: An Overview of the mCRL2 Toolset and Its Recent Advances