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


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Autocoding control software with proofs I: Annotation translation


    Beteiligte:
    Feron, Eric (Autor:in) / Jobredeaux, Romain (Autor:in) / Wang, Tim (Autor:in)


    Erscheinungsdatum :

    01.10.2011


    Format / Umfang :

    1704373 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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