CADP
From MaRDI portal
Cited in
(only showing first 100 items - show all)- An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation
- Continuous modeling of real-time and hybrid systems: From concepts to tools
- OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
- The electronic tool integration platform: Concepts and design
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
- Reflections on the future of concurrency theory in general and process calculi in particular
- Synchronizability for Verification of Asynchronously Communicating Systems
- Efficient SAT-based bounded model checking for software verification
- Probabilistic model checking for energy-utility analysis
- Session types for safe web service orchestration
- A formal verification technique for behavioural model-to-model transformations
- Efficient approximation of optimal control for continuous-time Markov games
- Invariants for parameterised Boolean equation systems
- Explaining safety violations in real-time systems
- The how and why of interactive Markov chains
- scientific article; zbMATH DE number 5368992 (Why is no real title available?)
- Efficient approximation of optimal control for continuous-time Markov games
- Two case studies of semantics execution in Maude: CCS and LOTOS
- Nested-unit Petri nets
- scientific article; zbMATH DE number 1956597 (Why is no real title available?)
- Formal modeling and analysis of business process timed constraints
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- On testing UML statecharts
- Specification guidelines to avoid the state space explosion problem
- Interactive Markov chains. And the quest for quantified quality
- The Korrigan environment
- Extended dependency graphs and efficient distributed fixed-point computation
- scientific article; zbMATH DE number 1956598 (Why is no real title available?)
- Off-the-shelf automated analysis of liveness properties for just paths
- Verification of \(\mathrm{EB}^3\) specifications using CADP
- Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS
- Verification of mobile ad hoc networks: an algebraic approach
- An integrated framework for the performance analysis of asynchronous communicating stochastic processes
- Formal modelling and verification of GALS systems using GRL and CADP
- Analyzing automata with Presburger arithmetic and uninterpreted function symbols
- Evaluation of cyber security and modelling of risk propagation with Petri nets
- Compositional abstraction for stochastic systems
- A process algebraic approach to software architecture design
- scientific article; zbMATH DE number 1538042 (Why is no real title available?)
- Efficient modelling and generation of Markov automata
- Sigref – A Symbolic Bisimulation Tool Box
- Model-based engineering of embedded systems using the hybrid process algebra Chi
- Sequential and distributed on-the-fly computation of weak tau-confluence
- scientific article; zbMATH DE number 2079818 (Why is no real title available?)
- From generic partition refinement to weighted tree automata minimization
- Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
- Planning proofs of equations in CCS
- Performance model checking scenario-aware dataflow
- Theorem proving graph grammars with attributes and negative application conditions
- Improving time bounded reachability computations in interactive Markov chains
- Analysis of a distributed system for lifting trucks.
- On the diversity of asynchronous communication
- Hierarchical Adaptive State Space Caching Based on Level Sampling
- A generic framework for n-protocol compatibility checking
- Automated verification of automata communicating via FIFO and bag buffers
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors
- Revisiting sequential composition in process calculi
- Translating FSP into LOTOS and networks of automata
- Model checking of biological systems
- Galileo
- GreatSPN
- jETI
- SCADE
- SIGREF
- TAPAAL
- PRISM
- Kronos
- WSAT
- Rapide
- JTorX
- mCRL2
- GreatSPN 1.7
- MoDeST
- Tiburon
- TREX
- TIMES
- DiVer
- PiXL
- Uppaal2k
- Truth/SLC
- BISIMULATOR
- SPADES
- M-TREE
- ECDAR
- MANIFOLD
- E-LOTOS
- LOTOS
- MOTOR
- SHARPE
- IF-2.0
- SPIN
- DiVinE
- libDDD
- MRMC
- NuSMV
- SMART_
- ProbDiVinE
- MWB
- Renew
- CEGAR
This page was built for software: CADP
