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