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

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

1 2 3 ... 5 6 7 next

  1. Bisping, Benjamin; Nestmann, Uwe; Peters, Kirstin: Coupled similarity: the first 32 years (2020)
  2. Bouwman, Mark; Luttik, Bas; Willemse, Tim: Off-the-shelf automated analysis of liveness properties for just paths (2020)
  3. Garavel, Hubert: Nested-unit Petri nets (2019)
  4. van Glabbeek, Rob: Ensuring liveness properties of distributed systems: open problems (2019)
  5. Akroun, Lakhdar; Salaün, Gwen: Automated verification of automata communicating via FIFO and bag buffers (2018)
  6. de Putter, Sander; Wijs, Anton: A formal verification technique for behavioural model-to-model transformations (2018)
  7. da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila: Theorem proving graph grammars with attributes and negative application conditions (2017)
  8. Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří: Extended dependency graphs and efficient distributed fixed-point computation (2017)
  9. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  10. Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J.: An (\mathcalO(m\logn)) algorithm for computing stuttering equivalence and branching bisimulation (2017)
  11. Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle: Fault trees on a diet: automated reduction by graph rewriting (2017)
  12. Szpyrka, Marcin; Jasiul, Bartosz: Evaluation of cyber security and modelling of risk propagation with Petri nets (2017)
  13. Boulgakov, Alexandre; Gibson-Robinson, Thomas; Roscoe, A. W.: Computing maximal weak and other bisimulations (2016)
  14. Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe: On the diversity of asynchronous communication (2016)
  15. de Frutos Escrig, David; Keiren, Jeroen J. A.; Willemse, Tim A. C.: Branching bisimulation games (2016)
  16. Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun: Efficient approximation of optimal control for continuous-time Markov games (2016)
  17. Jebali, Fatma; Lang, Frédéric; Mateescu, Radu: Formal modelling and verification of GALS systems using GRL and CADP (2016)
  18. Szpyrka, Marcin; Biernacki, Jerzy; Biernacka, Agnieszka: Tools and methods for RTCP-nets modeling and verification (2016)
  19. Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle: Confluence reduction for Markov automata (2016)
  20. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of (\mathrmEB^3) specifications using CADP (2016)

1 2 3 ... 5 6 7 next