Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Adjé, Assalé ; Garoche, Pierre-Loïc Larsen, Kim Guldstrand ; Lal, Akash ; D’Souza, Deepak

Verification, Model Checking, and Abstract Interpretation, 2015, Vol.8931, p.99-116 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível