Elicitation and Verification of a Functional Specification.
B. S. DohertyB. PaulyJ. BarthelemyPublished in: ECAI (1990)
Keyphrases
- formal verification
- functional verification
- model checking
- asynchronous circuits
- formal methods
- protocol specification
- formal specification
- high level
- utility function
- information systems
- face verification
- formal analysis
- specification language
- similarity measure
- preference elicitation
- verification method
- data mining