Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Creator Mehlenbacher, S. A. (Shawn A.) Has journal sim Annals of Mathematics and Artificial Intelligence

Establishing Flight Software Reliability: Testing, Model Checking, Constraint-Solving, Monitoring and Learning

Creator:

Groce, Alex, Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev, and Xu, Ru-Gang

Abstract:

In this paper we discuss the application of a range of techniques to the verification of mission-critical flight software at NASA’s Jet Propulsion Laboratory. For this type of application we want to achieve a higher level of confidence than can be achieved through standard software testing. Unfortunately, given the current...

Resource Type:

Article

Full Text:

, Model Checking, Constraint-Solving, Monitoring and Learning Groce, A., Havelund, K., Holzmann, G