CADP'97 - Status, Applications and Perspectives

This article gives an overview of the most recent features implemented in Cadp (Caesar/Ald' ebaran 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. 1 Introduction Cadp (Caesar/Ald' ebaran Development Package) is a software engineering toolbox for the design of communication protocols and distributed systems. It is based upon the Formal Description Technique Lotos [18, 1], although it can also deal with systems described as networks of communicating finite-state machines. Cadp offers a wide range of functionalities, including compilation, simulation, formal verification, and testing 1 . Cadp is jointly developed by Vasy (Validation of Systems), a common research group of Inria RhoneAlpes and Dyade (the joint-ventur..