Requirements Expression and Verification Aid.

Sharon A. Stephens Leonard L. Tripp

Published in: ICSE (1978)

Keyphrases

user requirements
model checking
verification method
real time
databases
neural network
case study
face recognition
temporal logic
face verification
formal analysis