swMATH1496MaRDI QIDQ14230FDOQ14230
Author name not available (Why is that?)
Official website: http://www.mcrl2.org/release/user_manual/index.html
Cited In (only showing first 100 items - show all)
- 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
- Lifting non-finite axiomatizability results to extensions of process algebras
- Dynamic consistency in process algebra: from paradigm to ACP
- Sylvan
- A Multi-Core Solver for Parity Games
- Instantiation for Parameterised Boolean Equation Systems
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus
- Verification of mobile ad hoc networks: an algebraic approach
- Analysing sanity of requirements for avionics systems
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
- Symbolic execution of Reo circuits using constraint automata
- From generic partition refinement to weighted tree automata minimization
- Synchronous Kleene algebra
- A formal semantics of extended hierarchical state transition matrices using CSP\#
- A generic framework for \(n\)-protocol compatibility checking
- Revisiting sequential composition in process calculi
- Consistent correlations for parameterised Boolean equation systems with applications in correctness proofs for manipulations
- Branching bisimulation games
- Abstraction in fixpoint logic
- IMITATOR
- Tiburon
- M-TREE
- 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
- Product line process theory
- Input-output conformance testing for software product lines
- Verification of context-dependent channel-based service models
- STeP
- GPU-PRISM
- Mec 5
- Murphi
- VERSA
- PIPE2
- APT
- DryadLINQ
- REFINER
- BigDatalog
- AODV
- mCRL
- Analyzing Chor specifications by translation into FSP
- Verification of distributed systems with the axiomatic system of MSVL
- TotemBioNet
- Combine and conquer: relating BIP and Reo
- A formalisation of consistent consequence for Boolean equation systems
- Improving parity game solvers with justifications
- Oink
- pyModelChecking
- Extended beam search for non-exhaustive state space analysis
- A Formal Calculus for Informal Equality with Binding
- Modeling and analysis of communicating systems
- An overview of the mCRL2 toolset and its recent advances
- An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation
- Realizability and dynamic reconfiguration of chor specifications
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
- Family-based SPL model checking using parity games with variability
- Symbolic analysis tools for CSP
- 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
- Title not available (Why is that?)
- Saving space in a time efficient simulation algorithm
- Theorem proving graph grammars with attributes and negative application conditions
- Axiomatizing recursion-free, regular monitors
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Strategies, model checking and branching-time properties in Maude
- Term rewriting on GPUs
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
- GPenSIM
- Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker
- ADG
This page was built for software: mCRL2
