|
| 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'97 - Status, Applications, and Perspectives
Hubert Garavel, Mark Jorgensen, Radu Mateescu, Charles Pecheur, Mihaela Sighireanu, and Bruno Vivien
Proceedings of the 2nd COST 247 International Workshop on
Applied Formal Methods in System Design (Zagreb, Croatia), June 1997
Abstract:
This article gives an overview of the most recent features implemented in CADP (CAESAR/ALDEBARAN Development Package), a toolbox dedicated to the design and verification of communication protocols and distributed systems. Besides the description of the new features, this paper also lists the latest applications of CADP to industrial case-studies and mentions the current research directions for improving CADP.
| 6 pages |  |
 PostScript |
| Slides of H. Garavel's lecture | |