NASA NTRS · 20060028991
Experiences in integrating auto-translated state-chart designs for model checking
Abstract
In the complex environment of JPL's flight missions with increasing dependency on advanced software designs, traditional software validation methods of simulation and testing are being stretched to adequately cover the needs of software development.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Pingree, P. J., Benowitz, E. G.. 2003-06-23. Experiences in integrating auto-translated state-chart designs for model checking. https://ntrs.nasa.gov/citations/20060028991
Cite the original work for its findings. Save a collection to share your selection of sources.