Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Guillaume Davy
,
Eric Féron
,
Pierre-Loïc Garoche
,
Didier Henrion
January 2018
Type
Conference paper
Publication
Numerical Software Verification, NSV'18, part of FLoC'18. Oxford, UK.
workshop
own
Guillaume Davy
Formal method Engineer @ Alstom
Related
Hierarchical State Machines as Modular Horn Clauses
Synthesizing Modular Invariants for Synchronous Code
A Polynomial Template Abstract Domain based on Bernstein Polynomials
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
×