Fabien Siron
Fabien Siron
Home
Curriculum
Research
Teaching
Projects
Contact
Light
Dark
Automatic
Lustre
Modular Extraction of Lustre Models from C Reactive Programs using Frama-C
Extraction of synchronous Lustre models from reactive C programs by combining symbolic program analysis and abstract interpretation in Frama-C.
Loïc Correnson
,
Fabien Siron
,
Christophe Junke
Project
Source Document
DOI
Cite
×