Analytic verification of flight software
Michael Lowry, Daniel L. Dvorak · IEEE Intelligent Systems and their Applications · 1998
To provide rigorous validation and verification of autonomous flight software for space vehicles, the authors apply two analytic verification approaches: design-time model checking and run-time behavior auditing.