Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Verifying code automatically generated from an executable model


    Additional title:

    Die Verifizierung eines Codes, der aus einem ausfuehrbaren Modell automatisch erzeugt wurde.



    Publication date :

    2005


    Size :

    6 pages


    Remarks:

    SAE-Paper;2005-01-1665;2005;Automotive Electronics;SAE Spec.Publ.; SP-1980


    Type of media :

    Miscellaneous


    Type of material :

    Print


    Language :

    English



    Verifying Code Automatically Generated From an Executable Model

    Williams, Cheryl A. / Kropinski, Michael A. / Steele, Michael A. et al. | SAE Technical Papers | 2005


    2005-01-1665 Verifying Code Automatically Generated From an Executable Model

    Williams, C. A. / Kropinski, M. A. / Matthews, O. et al. | British Library Conference Proceedings | 2005


    Adding Assurance to Automatically Generated Code

    Denney, Ewen / Fischer, Bernd / Schumann, Johann | NTRS | 2004


    Building Heterogeneous Safety Cases for Automatically Generated Code

    Denney, E. / Basir, N. / Fischer, B. et al. | British Library Conference Proceedings | 2011


    Automatically Verifying Railway Interlockings using SAT-based Model Checking

    James, Phillip / Roggenbach, Markus | DataCite | 2011