|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools |
| CADP Resources |
|
VLSAT Benchmarks
VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
CADP: A Protocol Validation and Verification Toolbox
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, and Mihaela Sighireanu
Proceedings of the 8th Conference on Computer-Aided
Verification (New Brunswick, New Jersey, USA), pages 437-440, August 1996
paper describing the toolbox and its components, presented at CAV'96. This paper completes the previous one and summarizes the latest features of CADP at the time it was written.
| 4 pages |  |
 PostScript |