CADP 2010: a toolbox for the construction and analysis of distributed processes
From MaRDI portal
(Redirected from Publication:3000666)
Recommendations
Cites work
- scientific article; zbMATH DE number 1283472 (Why is no real title available?)
- scientific article; zbMATH DE number 1956597 (Why is no real title available?)
- scientific article; zbMATH DE number 1538042 (Why is no real title available?)
- scientific article; zbMATH DE number 1746649 (Why is no real title available?)
- scientific article; zbMATH DE number 1418456 (Why is no real title available?)
- Efficient on-the-fly model-checking for regular alternation-free -calculus
- Interactive Markov chains. And the quest for quantified quality
- Model checking and boolean graphs
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
- Reflections on the future of concurrency theory in general and process calculi in particular
- Rewriting of imperative programs into logical equations
- Solving Parity Games in Big Steps
- State space reduction for process algebra specifications
- Tools and Algorithms for the Construction and Analysis of Systems
- Translating FSP into LOTOS and networks of automata
Cited in
(38)- An O(m n) algorithm for computing stuttering equivalence and branching bisimulation
- The Conic toolkit for building distributed systems
- Reflections on the future of concurrency theory in general and process calculi in particular
- Probabilistic model checking for energy-utility analysis
- A formal verification technique for behavioural model-to-model transformations
- scientific article; zbMATH DE number 1956597 (Why is no real title available?)
- Verification of \(\mathrm{EB}^3\) specifications using CADP
- Formal modelling and verification of GALS systems using GRL and CADP
- Evaluation of cyber security and modelling of risk propagation with Petri nets
- Sequential and distributed on-the-fly computation of weak tau-confluence
- Identity-Based Cryptosystems and Quadratic Residuosity
- Equivalence checking 40 years after: a review of bisimulation tools
- Elimination of detached regions in dependency graph verification
- Performance model checking scenario-aware dataflow
- Sharp congruences adequate with temporal logics combining weak and strong modalities
- On the diversity of asynchronous communication
- A case in point: verification and testing of a EULYNX interface
- A generic framework for n-protocol compatibility checking
- Automated verification of automata communicating via FIFO and bag buffers
- Scaling up livelock verification for network-on-chip routing algorithms
- Branching bisimulation games
- Improving active Mealy machine learning for protocol conformance testing
- A linear process-algebraic format with data for probabilistic automata
- Probabilistic model checking of BPMN processes at runtime
- Branching bisimilarity for processes with time-outs
- Compositional verification of asynchronous concurrent systems using CADP
- A compositional framework to the specification of service protocols controllability and substitutability
- Fault trees on a diet: automated reduction by graph rewriting
- Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
- Convex lattice equation systems
- Computing maximal weak and other bisimulations
- Ensuring liveness properties of distributed systems: open problems
- Model checking properties on reduced trace systems
- Simulation relations and applications in formal methods
- On the use of model and logical embeddings for model checking of probabilistic systems
- An overview of the mCRL2 toolset and its recent advances
- Cartesian difference categories
- On the Minimisation of Acyclic Models
Describes a project that uses
Uses Software
This page was built for publication: CADP 2010: a toolbox for the construction and analysis of distributed processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000666)
