Introducing Rigorous Metrics Specification and Verification into a Measurement Program.
F. MauriceAbdelmalek BenzekriYves RaynaudPublished in: IEEE METRICS (1997)
Keyphrases
- formal verification
- symbolic execution
- model checking
- asynchronous circuits
- specification language
- formal methods
- protocol specification
- hardware designs
- control program
- formal specification
- computer programs
- face verification
- similarity metrics
- control flow
- program execution
- evaluation metrics
- information retrieval
- programming environment
- automatic programming
- business rules
- provably correct
- logic programs
- database