Formal verification of an interior point algorithm instanciation

Guillaume Davy, Eric Féron, Pierre-Loïc Garoche, Didier Henrion
January 2018
PDF
Type
Report
Avatar
Guillaume Davy
Formal method Engineer @ Alstom