A survey of requirements verification techniques.

Sachidanandam Sakthivel

Published in: J. Inf. Technol. (1991)

Keyphrases

model checking
user requirements
face verification
real time
functional requirements
neural network
real world
search engine
objective function
search algorithm
cloud computing
formal methods
formal analysis
formal verification
concurrent systems