Keyphrases
- formal verification
- theorem proving
- formal specification
- specification language
- delay insensitive
- high level
- control flow
- bounded model checking
- timed automata
- computer vision
- concurrent systems
- data flow
- model checking
- programming language
- reactive systems
- search engine
- genetic algorithm
- attribute grammars
- data mining