mCRL2
From MaRDI portal
MCRL2
Cited in
(only showing first 100 items - show all)- IMITATOR
- TotemBioNet
- pyModelChecking
- Sylvan
- WSAT
- CPN/Tools
- Tiburon
- JTorX
- MoDeST
- Design/CPN
- BISIMULATOR
- M-TREE
- ECDAR
- LOTOS
- HOL/SPIN
- E-LOTOS
- DiVinE
- SLMC
- A formalisation of consistent consequence for Boolean equation systems
- CADP
- Modeling and verification of reconfigurable printing system based on process algebra
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
- JaCoP
- Reo
- Fiacre
- Woflan
- TorX
- LTSmin
- iFEST
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
- Exp.Open
- From generic partition refinement to weighted tree automata minimization
- KAT-ML
- Reoservice
- Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker
- Dryad
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
- Lifted structural invariant analysis of Petri net product lines
- Off-the-shelf automated analysis of liveness properties for just paths (extended abstract)
- A set automaton to locate all pattern matches in a term
- Axiomatizing recursion-free, regular monitors
- Term rewriting on GPUs
- VMC
- MIO Workbench
- TVT
- Off-the-shelf automated analysis of liveness properties for just paths
- JITty
- SMI++
- CAESAR_SOLVE
- Strategies, model checking and branching-time properties in Maude
- Theorem proving graph grammars with attributes and negative application conditions
- Logical characterisations, rule formats and compositionality for input-output conformance simulation
- FDR3
- PGSolver
- An efficient algorithm to determine probabilistic bisimulation
- DeltaCCS
- Concurrency Workbench
- Interface automata for shared memory
- Decomposing monolithic processes in a process algebra with multi-actions
- ORME
- ITACA
- ProBE
- Analysing sanity of requirements for avionics systems
- Branching bisimulation games
- BESERIAL
- Realizability and dynamic reconfiguration of chor specifications
- Specification guidelines to avoid the state space explosion problem
- Saving space in a time efficient simulation algorithm
- Symbolic analysis tools for CSP
- STeP
- Analyzing Chor specifications by translation into FSP
- Verification of context-dependent channel-based service models
- Suitability of mCRL2 for concurrent-system design: a 2 2 Switch case study
- GPU-PRISM
- Modeling and analysis of communicating systems
- Mec 5
- VERSA
- Input-output conformance testing for software product lines
- Murphi
- PIPE2
- Model Checking Value-Passing Modal Specifications
- Combine and conquer: relating BIP and Reo
- APT
- DryadLINQ
- Consistent correlations for parameterised Boolean equation systems with applications in correctness proofs for manipulations
- REFINER
- A Formal Calculus for Informal Equality with Binding
- BigDatalog
- AODV
- mCRL
- Symbolic execution of Reo circuits using constraint automata
- A generic framework for n-protocol compatibility checking
- Family-based SPL model checking using parity games with variability
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
- Dynamic consistency in process algebra: from paradigm to ACP
- Abstraction in fixpoint logic
- An O(m n) algorithm for computing stuttering equivalence and branching bisimulation
- An overview of the mCRL2 toolset and its recent advances
- A Multi-Core Solver for Parity Games
This page was built for software: mCRL2
