Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
Assalé Adjé
,
Pierre-Loïc Garoche
January 2015
DOI
Type
Conference paper
Publication
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
own
Related
Integrating Policy Iterations in Abstract Interpreters
A Polynomial Template Abstract Domain based on Bernstein Polynomials
Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses
Cite
×