Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems
Timothy Wang
,
Romain Jobredeaux
,
Heber Herencia-Zapana
,
Pierre-Loïc Garoche
,
Arnaud Dieumegard
,
Eric Feron
,
Marc Pantel
January 2013
PDF
Type
Report
Publication
CoRR
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
×