Formal Verification for a Next-Generation Space Shuttle.

Stacy D. Nelson Charles Pecheur

Published in: FAABS (2002)

Keyphrases

formal verification
space shuttle
model checking
space station
model checker
symbolic model checking
bounded model checking
fault detection
program slicing
web intelligence
temporal logic
automated verification
functional verification
graph theory
test set
genetic algorithm
data mining