Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Using SPIN model checking for verification of flight software


    Contributors:

    Conference:

    IEEE Aerospace Conference 2003


    Publication date :

    2002-03-10


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Using SPIN model checking for flight software verification

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


    Using SPIN model checking for flight software verification

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


    2.0303 Using Spin Model Checking for Flight Software Verification

    Institute of Electrical and Electronics Engineers | British Library Conference Proceedings | 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, L. / Tsai, W.T. / Homan, D. et al. | Tema Archive | 2007