Formal verification of an interior point algorithm instanciation

Avatar
Guillaume Davy
Formal method Engineer @ Alstom