NASA NTRS · 20060029922
Validation of mission critical software design and implementation using model checking
Abstract
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.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Pingree, P. J., Mikk, E., Holzmann, G., Smith, M., Dams, D.. 2002-10-27. Validation of mission critical software design and implementation using model checking. https://ntrs.nasa.gov/citations/20060029922
Cite the original work for its findings. Save a collection to share your selection of sources.