Verification Technology Transfer.

Robert P. Kurshan

Published in: 25 Years of Model Checking (2008)

Keyphrases

technology transfer
e government
model checking
current status
nasa langley research center
neural network
artificial intelligence
formal methods
asynchronous circuits
verification method
image sequences
temporal logic
face verification
formal verification
person identification