Formal verification of the NASA runway safety monitor.

Radu Siminiceanu Gianfranco Ciardo

Published in: Int. J. Softw. Tools Technol. Transf. (2007)

Keyphrases

formal verification
model checking
bounded model checking
model checker
automated verification
real time
symbolic model checking
monitoring system
space shuttle
nasa langley research center
langley research center
program slicing
expert systems