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


    Access

    Download


    Export, share and cite



    Title :

    Autocoding control software with proofs I: Annotation translation


    Contributors:


    Publication date :

    2011-10-01


    Size :

    1704373 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Autocoding in Automotive Software Development

    Furst, S. / Institution of Electrical Engineers / IEE Microelectronics and Embedded Systems Professional Network et al. | British Library Conference Proceedings | 2005


    Autocoding control software with proofs I: Annotation translation

    Jobredeaux, Romain / Wang, Timothy E. / Feron, Eric M. | IEEE | 2011


    Autocoding in automotive software development

    Fu¨rst, S. | IET Digital Library Archive | 2005



    Autocoding and Dictionaries on SMAP and MSL

    Benowitz, Ed / Swan, Chris | NTRS | 2014