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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Validation of mission critical software design and implementation using model checking


    Beteiligte:
    Pingree, P. J. (Autor:in) / Mikk, E. (Autor:in) / Holzmann, G. (Autor:in) / Smith, M. (Autor:in) / Dams, D. (Autor:in)

    Kongress:

    21st Digital Avionics Systems Conference


    Erscheinungsdatum :

    27.10.2002


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch





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

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



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

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


    Validation of Control Software Specification Using Design Interests Extraction and Model Checking

    Kaga, T. / Adachi, M. / Hosotani, I. et al. | British Library Conference Proceedings | 2012