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
2002-10-27
Conference paper
No indication
English
Self-checking software: improving the quality of mission-critical systems
Tema Archive | 1999
|