Keyphrases
- symbolic execution
- model checking
- hardware designs
- computer programs
- programming environment
- formal verification
- real world
- decision trees
- website
- face verification
- real time
- signature verification
- machine learning
- test generation
- automatic programming
- control structures
- data mining
- concurrent systems
- runtime environment