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

Abstract

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
DOIs
StatePublished - Dec 28 2011

Cite this