Construction and Analysis of Distributed Processes (CADP)

a toolbox for designing asynchronous concurrent systems

Application domain/field

• Asynchronous concurrent systems
• Communication protocols
• Distributed systems
• Asynchronous circuits
• Multiprocessor architectures
• Web services

Internals

CADP has many functionalities including:

• compilers for several input formalisms
• equivalence checking tools
• model checkers and other verification algorithms
• tools for visual checking, performance evaluation, etc.

For a complete list of tools, see: https://cadp.inria.fr/tools.html