Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL
Heber Herencia-Zapana
,
Romain Jobredeaux
,
Sam Owre
,
Pierre-Loïc Garoche
,
Eric Féron
,
Gilberto Perez
,
Pablo Ascariz
January 2012
DOI
Type
Conference paper
Publication
NASA Formal Methods - Forth International Symposium, NFM 2012, Norfolk, VA USA, April 3-5, 2012. Proceedings
own
Related
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
SMT-AI: an Abstract Interpreter for a Synchronous Extension of SMT-lib
Cite
×