Formal verification of an interior point algorithm instanciation

Publication
CoRR
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