Distilling Programs for Verification.
Geoff W. HamiltonPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- symbolic execution
- hardware designs
- concurrent systems
- test generation
- real world
- java bytecode
- verification method
- person identification
- automatic programming
- high level
- clustering algorithm
- information systems
- formal methods
- programming environment
- stable models
- signature verification
- formal verification
- static analysis
- face verification
- hidden markov models
- fingerprint verification
- artificial intelligence
- database