Ingequip

with the support of PIA & IRT Saint-Exupéry

Projet Investissements d’Avenir - INGEQUIP (INGEniérie des EQUIPements) (Dec. 2013 - Nov. 2016) - Responsable : François Vernadat (INSA)

Avatar
Silvano DAL ZILIO
CNRS Researcher

My research interests include formal methods and concurrency semantics.

Publications

Building Confidence on Formal Verification Models

A problem hindering the adoption of formal methods in the industry is how to integrate the models and results used during formal …

Integrating Model Checking in an Industrial Verification Process: a Structuring Approach

An obstacle to the adoption of model-checking in large projects is a lack of guidelines on how to integrate formal methods with …