CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
No abstract available.
Related papers
- CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes CAV 2007
- CADP - A Protocol Validation and Verification Toolbox CAV 1996
- A Set of Performance and Dependability Analysis Components for CADP TACAS 2003
- Better late than never: a fully-abstract semantics for classical processes POPL 2019
- 2010 Athena lecture PLDI 2010
- A Toolbox for the Analysis of Discrete Event Dynamic Systems CAV 1999
- A history of MATLAB HOPL 2020
- Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems CAV 2010