Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    2.0303 Using Spin Model Checking for Flight Software Verification



    Conference:

    Aerospace conference ; 2002 ; Big Sky, MT



    Publication date :

    2002-01-01


    Size :

    105 pages


    Remarks:

    IEEE cat no 00TH8593, CD-ROM version 01TH8593C




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English


    Keywords :


    Using SPIN model checking for flight software verification

    Gluck, P.R. / Holzmann, G.J. | IEEE | 2002


    Using SPIN model checking for flight software verification

    Gluck, P. R. / Holzmann, G. J. | NTRS | 2002


    Using SPIN model checking for verification of flight software

    Gluck, P. R. / Holzmann, G. J. | NTRS | 2002


    Program Model Checking Using Design-for-Verification: NASA Flight Software Case Study

    Markosian, Lawrence Z. / Mansouri-Samani, Masoud / Mehlitz, Peter C. et al. | IEEE | 2007


    Verification of Flight Software with Karnough Map-based Checking

    Jaw, Link / Tsai, W. T. / Homan, David et al. | IEEE | 2007