Verification
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
Verification
Architecture Languages
Fiacre
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, Marc Pantel, François Vernadat
In IDM SafeModel 2010 — Journées sur l’Ingénierie Dirigée par les Modèles, mar 2010.
In IDM SafeModel 2010 — Journées sur l’Ingénierie Dirigée par les Modèles, mar 2010.
Enumerative Parallel and Distributed State Space Construction
Verification
Parallelism
Rodrigo Tacla Saad, Silvano Dal Zilio, François Vernadat, Bernard Berthomieu
preprint, aug 2009.
preprint, aug 2009.
Formal Verification of AADL Specifications in the Topcased Environment
Verification
Architecture Languages
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, François Vernadat
In Ada Europe 2009 — 14th Ada-Europe International Conference, jun 2009.
In Ada Europe 2009 — 14th Ada-Europe International Conference, jun 2009.
Observation Graph implementation for TINA toolbox
Verification
Petri
Rodrigo Tacla Saad, François Vernadat, Bernard Berthomieu, Silvano Dal Zilio
In EWDC 2009 — 12th European Workshop on Dependable Computing, may 2009.
In EWDC 2009 — 12th European Workshop on Dependable Computing, may 2009.