mCRL2
From MaRDI portal
MCRL2
Cited in
(only showing first 100 items - show all)- Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker
- Improving parity game solvers with justifications
- A formalisation of consistent consequence for Boolean equation systems
- TotemBioNet
- pyModelChecking
- Extended beam search for non-exhaustive state space analysis
- Suitability of mCRL2 for concurrent-system design: a 2 2 Switch case study
- Dynamic consistency in process algebra: from paradigm to ACP
- Decomposing monolithic processes in a process algebra with multi-actions
- A Formal Calculus for Informal Equality with Binding
- Interface automata for shared memory
- Modeling and analysis of communicating systems
- ADG
- An overview of the mCRL2 toolset and its recent advances
- Logical characterisations, rule formats and compositionality for input-output conformance simulation
- GPenSIM
- Lifted structural invariant analysis of Petri net product lines
- Aeon
- Modeling and verification of reconfigurable printing system based on process algebra
- An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
- Realizability and dynamic reconfiguration of chor specifications
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
- A formal verification technique for behavioural model-to-model transformations
- Invariants for parameterised Boolean equation systems
- Symbolic analysis tools for CSP
- Family-based SPL model checking using parity games with variability
- Lifting non-finite axiomatizability results to extensions of process algebras
- Dynamic consistency in process algebra: from paradigm to ACP
- Model Checking Value-Passing Modal Specifications
- Specification guidelines to avoid the state space explosion problem
- Off-the-shelf automated analysis of liveness properties for just paths (extended abstract)
- A set automaton to locate all pattern matches in a term
- An efficient algorithm to determine probabilistic bisimulation
- Off-the-shelf automated analysis of liveness properties for just paths
- Analysing sanity of requirements for avionics systems
- A linear translation from CTL^* to the first-order modal -calculus
- Verification of mobile ad hoc networks: an algebraic approach
- A Multi-Core Solver for Parity Games
- Instantiation for Parameterised Boolean Equation Systems
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
- scientific article; zbMATH DE number 7215288 (Why is no real title available?)
- Symbolic execution of Reo circuits using constraint automata
- Saving space in a time efficient simulation algorithm
- From generic partition refinement to weighted tree automata minimization
- Theorem proving graph grammars with attributes and negative application conditions
- Axiomatizing recursion-free, regular monitors
- Synchronous Kleene algebra
- Strategies, model checking and branching-time properties in Maude
- A formal semantics of extended hierarchical state transition matrices using CSP\#
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Term rewriting on GPUs
- A generic framework for n-protocol compatibility checking
- Revisiting sequential composition in process calculi
- IMITATOR
- CPN/Tools
- WSAT
- JTorX
- MoDeST
- Tiburon
- Design/CPN
- BISIMULATOR
- M-TREE
- ECDAR
- E-LOTOS
- LOTOS
- HOL/SPIN
- DiVinE
- SLMC
- CADP
- JaCoP
- Reo
- Fiacre
- LTSmin
- iFEST
- Woflan
- TorX
- Exp.Open
- KAT-ML
- Reoservice
- Dryad
- MIO Workbench
- CAESAR_SOLVE
- JITty
- VMC
- SMI++
- TVT
- FDR3
- PGSolver
- DeltaCCS
- Concurrency Workbench
- ORME
- ITACA
- ProBE
- BESERIAL
- STeP
- GPU-PRISM
- Mec 5
- Murphi
- VERSA
This page was built for software: mCRL2
