CADP

CADP (”Construction and Analysis of Distributed Processes”, formerly known as ”CAESAR/ALDEBARAN Development Package”) is a popular toolbox for the design of communication protocols and distributed systems. CADP is developed by the VASY team at INRIA Rhone-Alpes and connected to various complementary tools. CADP is maintained, regularly improved, and used in many industrial projects.


References in zbMATH (referenced in 119 articles , 1 standard article )

Showing results 21 to 40 of 119.
Sorted by year (citations)
  1. Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha: Probabilistic model checking for energy-utility analysis (2014)
  2. Hameurlain, Nabil: A compositional framework to the specification of service protocols controllability and substitutability (2014)
  3. Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad: A compositional model to reason about end-to-end QoS in stochastic Reo connectors (2014)
  4. Santone, Antonella; Vaglini, Gigliola: Model checking properties on reduced trace systems (2014)
  5. Abid, Rim; Salaün, Gwen; Bongiovanni, Francesco; De Palma, Noel: Verification of a dynamic management protocol for cloud applications (2013) ioport
  6. Brim, Luboš; Češka, Milan; Šafránek, David: Model checking of biological systems (2013)
  7. Cranen, Sjoerd; Groote, Jan Friso; Keiren, Jeroen J. A.; Stappers, Frank P. M.; de Vink, Erik P.; Wesselink, Wieger; Willemse, Tim A. C.: An overview of the mCRL2 toolset and its recent advances (2013)
  8. Hatefi, Hassan; Hermanns, Holger: Improving time bounded reachability computations in interactive Markov chains (2013)
  9. Lang, Frédéric; Mateescu, Radu: Partial model checking using networks of labelled transition systems and Boolean equation systems (2013)
  10. Mateescu, Radu; Salaün, Gwen: PIC2LNT: model transformation for model checking an applied pi-calculus (2013)
  11. Mateescu, Radu; Serwe, Wendelin: Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols (2013) ioport
  12. Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro: Session types for safe web service orchestration (2013)
  13. Vekris, Dimitris; Dima, Catalin: Efficient operational semantics for (EB^3) for verification of temporal properties (2013)
  14. Basu, Samik; Bultan, Tevfik; Ouederni, Meriem: Synchronizability for verification of asynchronously communicating systems (2012)
  15. Basu, Samik; Bultan, Tevfik; Ouederni, Meriem: Deciding choreography realizability (2012)
  16. Ciardo, Gianfranco; Zhao, Yang; Jin, Xiaoqing: Ten years of saturation: a Petri net perspective (2012)
  17. Durán, Francisco; Ouederni, Meriem; Salaün, Gwen: A generic framework for (n)-protocol compatibility checking (2012)
  18. Gallardo, M. M.; Joubert, C.; Merino, P.; Sanán, D.: A model-extraction approach to verifying concurrent C programs with CADP (2012) ioport
  19. Groote, Jan Friso; Kouters, Tim W. D. M.; Osaiweran, Ammar: Specification guidelines to avoid the state space explosion problem (2012)
  20. Güdemann, Matthias; Salaün, Gwen; Ouederni, Meriem: Counterexample guided synthesis of monitors for realizability enforcement (2012)