Managing the verification trajectory.

Theo C. Ruys Ed Brinksma

Published in: Int. J. Softw. Tools Technol. Transf. (2003)

Keyphrases

model checking
trajectory data
information retrieval
formal analysis
formal methods
face verification
concurrent systems
evolutionary algorithm
temporal logic
case study
e learning
real time
signature verification
formal verification
fingerprint verification
high security
verification method
functional verification