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 104 articles , 1 standard article )

Showing results 1 to 20 of 104.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe: On the diversity of asynchronous communication (2016)
  2. Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun: Efficient approximation of optimal control for continuous-time Markov games (2016)
  3. Jebali, Fatma; Lang, Frédéric; Mateescu, Radu: Formal modelling and verification of GALS systems using GRL and CADP (2016)
  4. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of $\mathrmEB^3$ specifications using CADP (2016)
  5. Garavel, Hubert: Revisiting sequential composition in process calculi (2015)
  6. Garavel, Hubert; Lang, Frédéric; Mateescu, Radu: Compositional verification of asynchronous concurrent systems using CADP (2015)
  7. Aarts, Fides; Kuppens, Harco; Tretmans, Jan; Vaandrager, Frits; Verwer, Sicco: Improving active Mealy machine learning for protocol conformance testing (2014)
  8. Hameurlain, Nabil: A compositional framework to the specification of service protocols controllability and substitutability (2014)
  9. Abid, Rim; Salaün, Gwen; Bongiovanni, Francesco; De Palma, Noel: Verification of a dynamic management protocol for cloud applications (2013)
  10. 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)
  11. Hatefi, Hassan; Hermanns, Holger: Improving time bounded reachability computations in interactive Markov chains (2013)
  12. Lang, Frédéric; Mateescu, Radu: Partial model checking using networks of labelled transition systems and Boolean equation systems (2013)
  13. Mateescu, Radu; Salaün, Gwen: PIC2LNT: model transformation for model checking an applied pi-calculus (2013)
  14. Mateescu, Radu; Serwe, Wendelin: Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols (2013)
  15. Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro: Session types for safe web service orchestration (2013)
  16. Vekris, Dimitris; Dima, Catalin: Efficient operational semantics for $EB^3$ for verification of temporal properties (2013)
  17. Basu, Samik; Bultan, Tevfik; Ouederni, Meriem: Synchronizability for verification of asynchronously communicating systems (2012)
  18. Basu, Samik; Bultan, Tevfik; Ouederni, Meriem: Deciding choreography realizability (2012)
  19. Ciardo, Gianfranco; Zhao, Yang; Jin, Xiaoqing: Ten years of saturation: A Petri net perspective (2012)
  20. Durán, Francisco; Ouederni, Meriem; Salaün, Gwen: A generic framework for $n$-protocol compatibility checking (2012)

1 2 3 4 5 6 next