Formal Verification of the NASA Runway Safety Monitor.

Radu Siminiceanu Gianfranco Ciardo

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
monitoring system
real time
space shuttle
symbolic model checking
program slicing
temporal logic
nasa langley research center
technology transfer
web services
orders of magnitude