Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Synthesizing Modular Invariants for Synchronous Code
Pierre-Loïc Garoche
,
Arie Gurfinkel
,
Temesghen Kahsai
January 2014
DOI
Type
Conference paper
Publication
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014.
workshop
own
Related
A Polynomial Template Abstract Domain based on Bernstein Polynomials
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
Cite
×