Formal verification as a technology transfer problem.

Robert P. Kurshan

Published in: MEMOCODE (2004)

Keyphrases

formal verification
technology transfer
model checking
model checker
bounded model checking
symbolic model checking
e government
automated verification
current status
design science
nasa langley research center
program slicing
case study
artificial neural networks