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.
Validation of mission critical software design and implementation using model checking
21st Digital Avionics Systems Conference
27.10.2002
Aufsatz (Konferenz)
Keine Angabe
Englisch
Self-checking software: improving the quality of mission-critical systems
Tema Archiv | 1999
|Validation of Control Software Specification Using Design Interests Extraction and Model Checking
British Library Conference Proceedings | 2012
|