An overview of the mCRL2 toolset and its recent advances
DOI10.1007/978-3-642-36742-7_15zbMATH Open1381.68198OpenAlexW2130413791MaRDI QIDQ5326326FDOQ5326326
Authors: Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik de Vink, Wieger Wesselink, T. 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
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (25)
- A formal verification technique for behavioural model-to-model transformations
- Family-based SPL model checking using parity games with variability
- An efficient algorithm to determine probabilistic bisimulation
- Title not available (Why is that?)
- Analysing AWN-Specifications Using mCRL2 (Extended Abstract)
- Equivalence checking 40 years after: a review of bisimulation tools
- Axiomatizing recursion-free, regular monitors
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Revisiting sequential composition in process calculi
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
- Branching bisimulation games
- Abstraction in fixpoint logic
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Better automata through process algebra
- Input-output conformance testing for software product lines
- Title not available (Why is that?)
- Verification of distributed systems with the axiomatic system of MSVL
- Combine and conquer: relating BIP and Reo
- A formalisation of consistent consequence for Boolean equation systems
- Justifications and a reconstruction of parity game solving algorithms
- Analysis of distributed systems with mCRL2
- Logical characterisations, rule formats and compositionality for input-output conformance simulation
- Lifted structural invariant analysis of Petri net product lines
- An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation
- An overview on ``The European school of MCDA: Emergence, basic features and current works
Uses Software
This page was built for publication: An overview of the mCRL2 toolset and its recent advances
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326326)
