CADP 2010: a toolbox for the construction and analysis of distributed processes
DOI10.1007/978-3-642-19835-9_33zbMATH Open1316.68074OpenAlexW1980824962MaRDI QIDQ3000666FDOQ3000666
Frédéric Lang, Radu Mateescu, Hubert Garavel, Wendelin Serwe
Publication date: 19 May 2011
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19835-9_33
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Software, source code, etc. for problems pertaining to computer science (68-04)
Cites Work
- Tools and Algorithms for the Construction and Analysis of Systems
- State space reduction for process algebra specifications
- Interactive Markov chains. And the quest for quantified quality
- Reflections on the future of concurrency theory in general and process calculi in particular
- Solving Parity Games in Big Steps
- Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
- Model checking and boolean graphs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Translating FSP into LOTOS and networks of automata
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
- Title not available (Why is that?)
- Rewriting of imperative programs into logical equations
- Title not available (Why is that?)
Cited In (36)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
- Reflections on the future of concurrency theory in general and process calculi in particular
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
- A formal verification technique for behavioural model-to-model transformations
- Title not available (Why is that?)
- 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
- Equivalence checking 40 years after: a review of bisimulation tools
- Sequential and distributed on-the-fly computation of weak tau-confluence
- Identity-Based Cryptosystems and Quadratic Residuosity
- Elimination of detached regions in dependency graph verification
- A case in point: verification and testing of a EULYNX interface
- On the diversity of asynchronous communication
- Automated verification of automata communicating via FIFO and bag buffers
- A generic framework for \(n\)-protocol compatibility checking
- Scaling up livelock verification for network-on-chip routing algorithms
- Probabilistic model checking of BPMN processes at runtime
- Improving active Mealy machine learning for protocol conformance testing
- A linear process-algebraic format with data for probabilistic automata
- An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
- Compositional verification of asynchronous concurrent systems using CADP
- Performance Model Checking Scenario-Aware Dataflow
- A compositional framework to the specification of service protocols controllability and substitutability
- Probabilistic Model Checking for Energy-Utility Analysis
- Fault trees on a diet: automated reduction by graph rewriting
- Branching Bisimulation Games
- Convex lattice equation systems
- Simulation relations and applications in formal methods
- Computing maximal weak and other bisimulations
- Ensuring liveness properties of distributed systems: open problems
- On the use of model and logical embeddings for model checking of probabilistic systems
- Model checking properties on reduced trace systems
- Cartesian difference categories
- On the Minimisation of Acyclic Models
- The Conic toolkit for building distributed systems
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)
