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 81 to 100 of 119.
Sorted by year (citations)
  1. van Beek, D. A.; Rooda, J. E.; Schiffelers, R. R. H.; Man, K. L.; Reniers, M. A.: Relating hybrid chi to other formalisms (2007)
  2. Groote, Jan Friso; van Ham, Frank: Interactive visualization of large state spaces (2006) ioport
  3. Massink, Mieke; Latella, Diego; Gnesi, Stefania: On testing UML statecharts (2006)
  4. Ober, Iulian; Graf, Susanne; Ober, Ileana: Validating timed UML models by simulation and verification (2006) ioport
  5. Wimmer, Ralf; Herbstritt, Marc; Hermanns, Holger; Strampp, Kelley; Becker, Bernd: SIGREF -- a symbolic bisimulation tool box (2006)
  6. Baeten, J. C. M.: A brief history of process algebra (2005)
  7. Barbuti, Roberto; De Francesco, Nicoletta; Santone, Antonella; Vaglini, Gigliola: Reduced models for efficient CCS verification (2005)
  8. Blom, Stefan; Orzan, Simona: A distributed algorithm for strong bisimulation reduction of state spaces (2005) ioport
  9. Blom, Stefan; Orzan, Simona: A distributed algorithm for strong bisimulation reduction of state spaces (2005) ioport
  10. Jard, Claude; Jéron, Thierry: TGV: theory, principles and algorithms (2005) ioport
  11. 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
  12. Karvi, T.; Tienari, M.; Kaivola, R.: Stepwise development of process-algebraic specifications in decorated trace semantics (2005)
  13. Turner, Kenneth J.: Test generation for radiotherapy accelerators (2005) ioport
  14. Turner, Kenneth J.: Test generation for radiotherapy accelerators (2005) ioport
  15. Ben Salah, Ramzi; Bozga, Marius; Maler, Oded: On timing analysis of combinational circuits (2004)
  16. Dovier, Agostino; Piazza, Carla; Policriti, Alberto: An efficient algorithm for computing bisimulation equivalence (2004)
  17. López, Natalia; Núñez, Manuel; Rubio, Fernando: An integrated framework for the performance analysis of asynchronous communicating stochastic processes (2004)
  18. Blom, Stefan; Orzan, Simona: Distributed branching bisimulation reduction of state spaces (2003)
  19. Bohnenkamp, H.; Hermanns, H.; Katoen, J.-P.; Klaren, R.: The Modest modeling tool and its implementation. (2003) ioport
  20. Hermanns, Holger; Joubert, Christophe: A set of performance and dependability analysis components for CADP (2003)