Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    imProve-HDL, A DO-254 Static Formal Property Checker Used for Design and Verification of Avionics Protocol Controllers


    Contributors:

    Conference:

    22nd, Digital avionics systems conference; 22nd DASC ; 2003 ; Indianapolis, IN



    Publication date :

    2003-01-01


    Size :

    1A1


    Remarks:

    IEEE cat nos 03CH37449



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    Qualification of a Model Checker for Avionics Software Verification

    Wagner, Lucas / Mebsout, Alain / Tinelli, Cesare et al. | British Library Conference Proceedings | 2017




    Model checker for railway signalling communication protocol

    Hwang, J.-G. / Jo, H.-J. / Lee, J. H. | British Library Conference Proceedings | 2006