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

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

1 2 3 4 5 6 next

  1. de Putter, Sander; Wijs, Anton: A formal verification technique for behavioural model-to-model transformations (2018)
  2. da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila: Theorem proving graph grammars with attributes and negative application conditions (2017)
  3. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  4. Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J.A.; Wijs, Anton J.: An $\mathcal O(m\log n)$ algorithm for computing stuttering equivalence and branching bisimulation (2017)
  5. Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle: Fault trees on a diet: automated reduction by graph rewriting (2017)
  6. Boulgakov, Alexandre; Gibson-Robinson, Thomas; Roscoe, A.W.: Computing maximal weak and other bisimulations (2016)
  7. Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe: On the diversity of asynchronous communication (2016)
  8. de Frutos Escrig, David; Keiren, Jeroen J.A.; Willemse, Tim A.C.: Branching bisimulation games (2016)
  9. Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun: Efficient approximation of optimal control for continuous-time Markov games (2016)
  10. Jebali, Fatma; Lang, Frédéric; Mateescu, Radu: Formal modelling and verification of GALS systems using GRL and CADP (2016)
  11. Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle: Confluence reduction for Markov automata (2016)
  12. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of $\mathrmEB^3$ specifications using CADP (2016)
  13. Chama, Imed Eddine; Belala, Nabil; Saidouni, Djamel Eddine: Formal modeling and analysis of business process timed constraints (2015)
  14. Cranen, Sjoerd; Gazda, Maciej; Wesselink, Wieger; Willemse, Tim A.C.: Abstraction in fixpoint logic (2015)
  15. Garavel, Hubert: Revisiting sequential composition in process calculi (2015)
  16. Garavel, Hubert; Lang, Frédéric; Mateescu, Radu: Compositional verification of asynchronous concurrent systems using CADP (2015)
  17. Aarts, Fides; Kuppens, Harco; Tretmans, Jan; Vaandrager, Frits; Verwer, Sicco: Improving active Mealy machine learning for protocol conformance testing (2014)
  18. Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha: Probabilistic model checking for energy-utility analysis (2014)
  19. Hameurlain, Nabil: A compositional framework to the specification of service protocols controllability and substitutability (2014)
  20. Abid, Rim; Salaün, Gwen; Bongiovanni, Francesco; De Palma, Noel: Verification of a dynamic management protocol for cloud applications (2013)

1 2 3 4 5 6 next