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

Showing results 81 to 100 of 129.
Sorted by year (citations)
  1. Boudali, Hichem; Crouzen, Pepijn; Stoelinga, Mariëlle: A compositional semantics for dynamic fault trees in terms of interactive Markov chains (2007)
  2. De Francesco, Nicoletta; Santone, Antonella; Vaglini, Gigliola: A user-friendly interface to specify temporal properties of concurrent systems (2007) ioport
  3. Garavel, Hubert; Mateescu, Radu; Lang, Frédéric; Serwe, Wendelin: CADP 2006: A toolbox for the construction and analysis of distributed processes (2007) ioport
  4. Siminiceanu, Radu I.; Ciardo, Gianfranco: Formal verification of the NASA runway safety monitor (2007) ioport
  5. van Beek, D. A.; Rooda, J. E.; Schiffelers, R. R. H.; Man, K. L.; Reniers, M. A.: Relating hybrid chi to other formalisms (2007)
  6. Groote, Jan Friso; van Ham, Frank: Interactive visualization of large state spaces (2006) ioport
  7. Massink, Mieke; Latella, Diego; Gnesi, Stefania: On testing UML statecharts (2006)
  8. Ober, Iulian; Graf, Susanne; Ober, Ileana: Validating timed UML models by simulation and verification (2006) ioport
  9. Wimmer, Ralf; Herbstritt, Marc; Hermanns, Holger; Strampp, Kelley; Becker, Bernd: SIGREF -- a symbolic bisimulation tool box (2006)
  10. Baeten, J. C. M.: A brief history of process algebra (2005)
  11. Barbuti, Roberto; De Francesco, Nicoletta; Santone, Antonella; Vaglini, Gigliola: Reduced models for efficient CCS verification (2005)
  12. Blom, Stefan; Orzan, Simona: A distributed algorithm for strong bisimulation reduction of state spaces (2005) ioport
  13. Blom, Stefan; Orzan, Simona: A distributed algorithm for strong bisimulation reduction of state spaces (2005) ioport
  14. Bortnik, E.; Trčka, N.; Wijs, A. J.; Luttik, B.; Van De Mortel-Fronczak, J. M.; Baeten, J. C. M.; Fokkink, W. J.; Rooda, J. E.: Analyzing a (\chi) model of a turntable system using Spin, CADP and Uppaal (2005)
  15. Jard, Claude; Jéron, Thierry: TGV: theory, principles and algorithms (2005) ioport
  16. Jard, Claude; Jéron, Thierry: TGV: theory, principles and algorithms: a tool for the automatic synthesisof conformance test cases for non-deterministic reactive systems (2005) ioport
  17. Karvi, T.; Tienari, M.; Kaivola, R.: Stepwise development of process-algebraic specifications in decorated trace semantics (2005)
  18. Turner, Kenneth J.: Test generation for radiotherapy accelerators (2005) ioport
  19. Turner, Kenneth J.: Test generation for radiotherapy accelerators (2005) ioport
  20. Verdejo, Alberto; Martí-Oliet, Narciso: Two case studies of semantics execution in Maude: CCS and LOTOS (2005)