Automatic Generation and Formal Verification of an Interior Point Method Algorithm

Publication
Numerical Software Verification, NSV'18, part of FLoC'18. Oxford, UK.
Avatar
Guillaume Davy
Formal method Engineer @ Alstom

Related