Autocoding control software with proofs I: Annotation translation

Eric Feron, Romain Jobredeaux, Tim Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations


Scilab to C Translator with proofs o Autocoder with Proofs Prototype Built o Source: Scilab (very much like Matlab) o Target: c Language with ACSL annotations o Prototype mostly to test annotation translation. © 2011 IEEE.
Original languageEnglish (US)
Title of host publicationAIAA/IEEE Digital Avionics Systems Conference - Proceedings
StatePublished - Dec 28 2011


Dive into the research topics of 'Autocoding control software with proofs I: Annotation translation'. Together they form a unique fingerprint.

Cite this