Keyphrases
- fully functional
- source code
- visual studio
- model checking
- symbolic execution
- error correcting
- supply chain
- neural network
- code generation
- face verification
- database systems
- information retrieval
- databases
- test cases
- query processing
- formal methods
- high level
- genetic algorithm
- verification method
- functional verification