Proving the correctness of a flight-director program for an airborne minicomputer.

Published in: SIGMINI (1976)

Keyphrases

information management
flight test
real time
test cases
search and rescue operations
machine learning
infrared
computer programs
programming environment
parameter identification
java programs
program execution
provably correct