Silvano DAL ZILIO
Silvano DAL ZILIO
Home
Publications
Projects
Courses
Posts
Software
Contact
Light
Dark
Automatic
Verification
Enumerative Parallel and Distributed State Space Construction
Model Checking requires high end computers to verify complex systems. Consequently, it is interesting to use a multi-processors …
Rodrigo Tacla Saad
,
Silvano Dal Zilio
,
François Vernadat
,
Bernard Berthomieu
PDF
Cite
Project
Formal Verification of AADL Specifications in the Topcased Environment
We describe a formal verification toolchain for AADL, the SAE Architecture Analysis and Design Language, enriched with its behavioral …
Bernard Berthomieu
,
Jean-Paul Bodeveix
,
Christelle Chaudet
,
Silvano Dal Zilio
,
Mamoun Filali
,
François Vernadat
PDF
Cite
Project
DOI
Observation Graph implementation for TINA toolbox
Model Checking is a formal technique for the verification of finite systems. However, it is well known that this technique suffers from …
Rodrigo Tacla Saad
,
François Vernadat
,
Bernard Berthomieu
,
Silvano Dal Zilio
PDF
Cite
Project
«
Cite
×