Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses
Adrien Champion
,
Rémi Delmas
,
Michael Dierkes
,
Pierre-Loïc Garoche
,
Romain Jobredeaux
,
Pierre Roux
January 2013
DOI
Type
Conference paper
Publication
Formal Methods for Industrial Critical Systems (FMICS'13)
own
Related
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL
Incremental verification with mode variable invariants in state machines
A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems
Towards Cooperation of Formal Methods for the Analysis of Critical Control Systems
Dessine moi un domaine abstrait fini -- une recette à base de Camlp4 et de solveurs SMT
Cite
×