mCRL2

swMATH1496MaRDI QIDQ14230FDOQ14230

Author name not available (Why is that?)

Official website: http://www.mcrl2.org/release/user_manual/index.html

Described by source

• Analysis of distributed systems with mCRL2

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