Keyphrases
- model checking
- symbolic execution
- automatic programming
- formal verification
- multiscale
- java bytecode
- functional verification
- hardware designs
- computer programs
- static analysis
- test generation
- control flow
- control structures
- signature verification
- database
- face verification
- answer sets
- decision making
- information systems