Model Checking conducts an exhaustive exploration of all possible behaviors of a software system design and as such can be used to detect defects in designs that are typically difficult to discover with conventional testing approaches.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Validation of mission critical software design and implementation using model checking


    Contributors:
    Pingree, P. J. (author) / Mikk, E. (author) / Holzmann, G. (author) / Smith, M. (author) / Dams, D. (author)

    Conference:

    21st Digital Avionics Systems Conference


    Publication date :

    2002-10-27


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English





    Validation of mission critical software design and implementation using model checking (spacecraft)

    Pingree, P.J. / Mikk, E. / Holzmann, G.J. et al. | Tema Archive | 2002



    Self-checking software: improving the quality of mission-critical systems

    Reinhart, T. / Boettcher, C. / Tomashefsky, S. | IEEE | 1999


    Self-checking software: improving the quality of mission-critical systems

    Reinhart, T. / Boettcher, C. / Tomashefsky, S. | Tema Archive | 1999