Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Qualification of a Model Checker for Avionics Software Verification


    Contributors:

    Conference:

    NASA Formal Methods ; 2017 ; Moffett Field, CA



    Publication date :

    2017-01-01


    Size :

    16 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    Unknown



    MADEQ: A model for avionics device qualification

    da Silva, Caio Monteiro B. / da Cunha, Adilson Marques | IEEE | 2013

    Free access

    MADEQ: A model for Avionics Device Qualification

    da Silva, Caio Monteiro Barbosa / da Cunha, Adilson Marques | IEEE | 2013



    A Verification Method of Software Safety Model Based on Model Checker

    Chen, F. / Li, W. / Chen, H. et al. | British Library Online Contents | 2011