Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott. A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs.
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, Special Issue ESWEEK 2017, CASES 2017, CODES + ISSS 2017 and EMSOFT 2017, 16 (5s), pp.1-19.
⟨10.1145/3126502⟩.
⟨hal-01674495⟩