Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
TINY: Simple Static Analyzer for Imperative Code and Numerical precision analysis
Pierre Roux
,
Pierre-Loic Garoche
,
Alexis Werey
January 2012
PDF
Cite
"software"
"own"
Pierre Roux
Researcher at Onera
Related
LustreC: a modular Lustre compiler
PACSA: a Primitive Actor Calculus Static Analyzer
YASA: Yet Another Static Analyzer
Kind-AI, automatic abstract interpreter module for Lustre model-checker Kind
Kind,a k-induction based model-checker
Cite
×
