A Formal Approach to Requirement Verification.

Divya K. Nair Stéphane S. Somé

Published in: SEDE (2006)

Keyphrases

formal methods
model checking
formal analysis
formal specification
data sets
three dimensional
formal model
formal representation
person identification
functional verification
face verification
concurrent systems