CADP (Construction and Analysis of Distributed Processes) is a toolbox for the design of communication protocols and distributed systems. CADP is developed by the CONVECS team (formerly by the VASY team) at INRIA Rhone-Alpes and connected to various complementary tools.
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| foaf:homepage | |
| developer | |
| genre | |
| latest release version |
|