Keyphrases
- hardware designs
- symbolic execution
- model checking
- state space
- transitive closure
- test generation
- signature verification
- face verification
- real world
- computer programs
- distributed systems
- database
- fixpoint
- website
- intermediate level
- computer vision
- automatic programming
- control structures
- concurrent systems
- java bytecode
- real time