×

CADP

swMATH ID: 4993
Software Authors: Garavel, Hubert; Hermanns, Holger; CONVECS team
Description: 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.
Homepage: http://cadp.inria.fr/
Related Software: SPIN; LOTOS; mCRL2; PRISM; Uppaal; E-LOTOS; NuSMV; CAESAR_SOLVE; Exp.Open; Kronos; IF-2.0; LNT2LOTOS; CAESAR; MRMC; mCRL; HyTech; M-TREE; BISIMULATOR; FDR3; LTSmin
Cited in: 111 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
On combining functional verification and performance evaluation using CADP. Zbl 1064.68523
Garavel, Hubert; Hermanns, Holger
2002
all top 5

Cited by 214 Authors

14 Mateescu, Radu
10 Lang, Frédéric
8 Garavel, Hubert
8 Hermanns, Holger
8 Willemse, Tim A. C.
7 Katoen, Joost-Pieter
7 Salaün, Gwen
5 Stoelinga, Mariëlle
5 van de Pol, Jan Cornelis
5 Wijs, Anton J.
4 Groote, Jan Friso
4 Keiren, Jeroen J. A.
4 Ouederni, Meriem
3 Baeten, Jos C. M.
3 Blom, Stefan
3 Fokkink, Willem Jan
3 Reniers, Michel Adriaan
3 Rooda, Jacobus E.
3 Santone, Antonella
3 Serwe, Wendelin
3 Timmer, Mark
3 Vaglini, Gigliola
2 Barbuti, Roberto
2 Basu, Samik
2 Bozga, Marius
2 Bultan, Tevfik
2 Cranen, Sjoerd
2 De Francesco, Nicoletta
2 de Jong, Hidde
2 de Vink, Erik P.
2 Dumas, Estelle
2 Fearnley, John
2 Gnesi, Stefania
2 Krause, Christian
2 Larsen, Kim Guldstrand
2 Latella, Diego
2 Luttik, Bas
2 Massink, Mieke
2 Monteiro, Pedro T.
2 Orzan, Simona
2 Rabe, Markus N.
2 Schewe, Sven
2 Schiffelers, R. R. H.
2 Sighireanu, Mihaela
2 Szpyrka, Marcin
2 van Beek, D. A.
2 Wesselink, Wieger
2 Zhang, Lijun
1 Aarts, Fides
1 Akroun, Lakhdar
1 Aldini, Alessandro
1 Annichini, Aurore
1 Arbab, Farhad
1 Ashar, Pranav
1 Baier, Christel
1 Beccuti, Marco
1 Becker, Bernd
1 Belala, Nabil
1 Ben Salah, Ramzi
1 Bernardo, Marco
1 Bert, Didier
1 Biernacka, Agnieszka
1 Biernacki, Jerzy
1 Bisping, Benjamin
1 Bortnik, E.
1 Bouajjani, Ahmed
1 Boudali, Hichem
1 Boulgakov, Alexandre
1 Bouwman, Mark
1 Braun, Volker
1 Brim, Luboš
1 Bundy, Alan
1 Cámara, Javier
1 Canal, Carlos
1 Cave, Francis
1 Češka, Milan
1 Chama, Imed Eddine
1 Chevrou, Florent
1 Choppy, Christine
1 Ciardo, Gianfranco
1 Cleaveland, Rance
1 Corradini, Flavio
1 Coste, Nicolas
1 Crouzen, Pepijn
1 Cuijpers, Pieter J. L.
1 da Costa Cavalheiro, Simone André
1 Dalsgaard, Andreas Engelbredt
1 Dang, Thao
1 de Frutos-Escrig, David
1 de Putter, Sander
1 de Ruiter, Joeri
1 Deifel, Hans-Peter
1 Dima, Cătălin
1 Dovier, Agostino
1 Dubslaff, Clemens
1 Durán, Francisco
1 Enevoldsen, Søren
1 Evrard, Hugues
1 Fantechi, Alessandro
1 Fernandez, Jean-Claude
...and 114 more Authors
all top 5

Cited in 21 Serials

9 Theoretical Computer Science
9 Formal Aspects of Computing
5 Science of Computer Programming
5 Formal Methods in System Design
5
5 The Journal of Logic and Algebraic Programming
5 Journal of Logical and Algebraic Methods in Programming
3 Acta Informatica
3 ACM Transactions on Computational Logic
2 Journal of Universal Computer Science
1 Journal of Computer and System Sciences
1 Performance Evaluation
1 Information and Computation
1 Machine Learning
1 International Journal of Computer Mathematics
1 Archives of Control Sciences
1
1 Lecture Notes in Computer Science
1 Logical Methods in Computer Science
1 Algorithms
1 Symmetry
all top 5

Cited in 8 Fields

111 Computer science (68-XX)
8 Mathematical logic and foundations (03-XX)
5 Probability theory and stochastic processes (60-XX)
3 Biology and other natural sciences (92-XX)
2 Operations research, mathematical programming (90-XX)
2 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Systems theory; control (93-XX)
2 Information and communication theory, circuits (94-XX)

Citations by Year