Automatic Generation and Formal Verification of an Interior Point Method Algorithm

Guillaume Davy, Eric Feron, Pierre-Loic Garoche, Didier Henrion
January 2018
Cite
Type
Conference paper
Publication
Numerical Software Verification, NSV'18, part of FLoC'18. Oxford, UK.
"workshop" "own"
Guillaume Davy
Guillaume Davy
Formal method Engineer @ Alstom
Eric Feron
Eric Feron
Professor at KAUST (on leave from Georgia Tech)
Didier Henrion
Didier Henrion
Senior Researcher (Directeur de Recherche) at LAAS-CNRS and Professor at Prague University

Related