CADP ("Construction and Analysis of Distributed Processes") is a popular toolbox for the design and verification of asynchronous concurrent systems, such as communication protocols, distributed systems, asynchronous circuits, multiprocessor architectures, web services, etc. CADP offers a wide set of functionalities, ranging from step-by-step simulation to massively parallel model-checking