At a Glance
| Applications | Model Checker |
| Developers | INRIA Rocquencourt |
| Licenses | All Rights Reserved |
| Maintenance | Actively Maintained |
Description
Closed-Source Tool
CADP (“Construction and Analysis of Distributed Processes”, formerly known as “CAESAR/ALDEBARAN Development Package”) is a toolbox for the design of asynchronous concurrent systems, such as communication protocols, distributed systems, asynchronous circuits, multiprocessor architectures, web services, etc.