An overview of the mCRL2 toolset and its recent advances
From MaRDI portal
Publication:5326326
Recommendations
Cited in
(25)- An overview on ``The European school of MCDA: Emergence, basic features and current works
- An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation
- 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
- scientific article; zbMATH DE number 7215288 (Why is no real title available?)
- 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
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Abstraction in fixpoint logic
- Better automata through process algebra
- Input-output conformance testing for software product lines
- Verification of distributed systems with the axiomatic system of MSVL
- scientific article; zbMATH DE number 7447737 (Why is no real title available?)
- 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
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)
