|
| Final Report of the COST-247 Action |
New Features, Applications and Perspectives for the CADP'97 Toolbox
Hubert Garavel, M. Jorgensen, R. Mateescu, Ch. Pecheur, M. Sighireanu, B. Vivien
| INRIA Rhone-Alpes |
| 655 avenue de l'Europe |
| F-38330 Montbonnot Saint Martin |
| France |
| Tel : +(33) 4 76 61 52 24 |
| Fax : +(33) 4 76 61 52 52 |
| E-mail: Hubert.Garavel@inria.fr |
This article gives an overview of the most recent features implemented in CADP (CAESAR/ALDEBARAN Development Package), a toolbox dedicated to the design and ve rification of communication protocols and distributed systems. Besides the desc ription of the new features, this paper also lists the latest applications of CA DP to industrial case-studies and mentions the current research directions for i mproving CADP.
This presentation has been given during the COST-247 2nd International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia, June 18-19, 1997).
COST-247 Working Group(s):
Web links: http://vasy.inria.fr
This Page was prepared by Mark Jorgensen.
Back to the VASY Home page