Panorama des outils CADP

Hubert Garavel INRIA/VASY 

CADP (Caesar/Aldévaran Development Package) est une boîte à outils
pour le développement des systèmes asynchrones qui offre des
fonctionnalités multiples : simulation, génération de code,
génération de tests, vérification basée sur des logiques temporelles 
et des bisimulations, vérification compositionnelle, etc. Dans cet
exposé, nous présentons les principes et l'architecture de CADP
et nous faisons le point sur les récentes avancées et les futures
directions de recherche.