Automatic Generation and Formal Verification of an Interior Point Method Algorithm

Guillaume Davy, Eric Feron, Pierre-Loic Garoche, Didier Henrion
July 2018
Type
Conference paper
Publication
Numerical Software Verification, NSV'18, part of FLoC'18. Oxford, UK.
Avatar
Guillaume Davy
PhD student (2015-2018)