Keyphrases
- formal verification
- provably correct
- asynchronous circuits
- formal methods
- symbolic execution
- specification language
- protocol specification
- model checking
- hardware designs
- control program
- high level
- high level programming language
- automatic programming
- control flow
- meta level
- formal specification
- signature verification
- java programs
- meta reasoning
- programming language
- source code
- database
- real time
- data sets
- face recognition
- colored petri nets
- domain knowledge
- static analysis
- software development
- computer programs
- face verification