mCRL2
From MaRDI portal
Software:14230
swMATH1496MaRDI QIDQ14230FDOQ14230
Author name not available (Why is that?)
Cited In (59)
- Family-based SPL model checking using parity games with variability
- Model Checking Value-Passing Modal Specifications
- Title not available (Why is that?)
- Dynamic consistency in process algebra: from paradigm to ACP
- Realizability and dynamic reconfiguration of chor specifications
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
- 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
- Lifting non-finite axiomatizability results to extensions of process algebras
- Dynamic consistency in process algebra: from paradigm to ACP
- 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
- A Multi-Core Solver for Parity Games
- Instantiation for Parameterised Boolean Equation Systems
- Off-the-shelf automated analysis of liveness properties for just paths
- 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
- 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
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Synchronous Kleene algebra
- Strategies, model checking and branching-time properties in Maude
- A formal semantics of extended hierarchical state transition matrices using CSP\#
- Term rewriting on GPUs
- 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
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
- Branching bisimulation games
- Abstraction in fixpoint logic
- Product line process theory
- Input-output conformance testing for software product lines
- Verification of context-dependent channel-based service models
- Analyzing Chor specifications by translation into FSP
- Verification of distributed systems with the axiomatic system of MSVL
- Combine and conquer: relating BIP and Reo
- Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker
- A formalisation of consistent consequence for Boolean equation systems
- Improving parity game solvers with justifications
- Suitability of mCRL2 for concurrent-system design: a \(2 \times 2\) Switch case study
- Extended beam search for non-exhaustive state space analysis
- Decomposing monolithic processes in a process algebra with multi-actions
- A Formal Calculus for Informal Equality with Binding
- Modeling and analysis of communicating systems
- An overview of the mCRL2 toolset and its recent advances
- Interface automata for shared memory
- 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
- Modeling and verification of reconfigurable printing system based on process algebra
This page was built for software: mCRL2
