Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
A Polynomial Template Abstract Domain based on Bernstein Polynomials
Pierre Roux
,
Pierre-Loïc Garoche
January 2013
Type
Conference paper
Publication
Numerical Software Verification
workshop
own
Pierre Roux
Researcher at Onera
Related
Dessine moi un domaine abstrait fini -- une recette à base de Camlp4 et de solveurs SMT
SMT-AI: an Abstract Interpreter for a Synchronous Extension of SMT-lib
Static Analysis of Actors: From Type Systems to Abstract Interpretation
A Framework to formalise the MDE Foundations
Expérimentation pour la définition d'une sémantique dans l'IDM
Cite
×