Jean-Paul Bodeveix

Latest

• Real-Time Model Checking Support for AADL
• Vérification formelle de spécifications AADL via FIACRE
• Definition of the Fiacre Real-Time Specification Patterns Language
• Formal Verification of AADL models with Fiacre and Tina
• Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel: retour d'expérience sur la chaîne de vérification formelle Fiacre
• Formal Verification of AADL Specifications in the Topcased Environment