Safety
Timed Formal Model and Verification of Satellite FDIR in Early Design Phase
Verification
Use Case
Fiacre
Safety
Alexandre Albore, Silvano Dal Zilio, Marie De Roquemaurel, Christel Seguin, Pierre Virelizier
In ERTS 2018 — 9th European Congress on Embedded Real Time Software and Systems, jan 2018.
In ERTS 2018 — 9th European Congress on Embedded Real Time Software and Systems, jan 2018.
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica
Verification
Fiacre
Safety
Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier
In IMBSA 2017 — 18th International Conference on Formal Engineering Methods, sep 2017.
In IMBSA 2017 — 18th International Conference on Formal Engineering Methods, sep 2017.
Building Confidence on Formal Verification Models
Verification
Safety
Silvano Dal Zilio, Pierre-Alain Bourdil, Éric Jenn
In SAFECOMP 2016 — Fast Abstracts at International Conference on Computer Safety, Reliability, and Security, sep 2016.
In SAFECOMP 2016 — Fast Abstracts at International Conference on Computer Safety, Reliability, and Security, sep 2016.
Integrating Model Checking in an Industrial Verification Process: a Structuring Approach
Verification
Safety
Silvano Dal Zilio, Pierre-Alain Bourdil, Éric Jenn
Research Report 16115, LAAS, jul 2016.
Research Report 16115, LAAS, jul 2016.
Who Checks the Model-Checkers?
Verification
Fiacre
Safety
Silvano Dal Zilio, Nouha Abid, Bernard Berthomieu
Research Report 12367, LAAS, jul 2012.
Research Report 12367, LAAS, jul 2012.