Silvano DAL ZILIO
Silvano DAL ZILIO
Home
Publications
Projects
Courses
Posts
Software
Contact
Light
Dark
Automatic
Vérification formelle de spécifications AADL via FIACRE
Bernard Berthomieu
,
Jean-Paul Bodeveix
,
Silvano Dal Zilio
,
Mamoun Filali
,
François Vernadat
August, 2011
PDF
Cite
Project
Publication
presentation at École d’été Temps-Reél (ETR'11)
Verification
Architecture Languages
Related
Real-Time Model Checking Support for AADL
Formal Verification of AADL models with Fiacre and Tina
Formal Verification of AADL Specifications in the Topcased Environment
Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées
Definition of the Fiacre Real-Time Specification Patterns Language
Cite
×