Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- specification language
- decision making
- formal specification
- high level
- multiscale
- genetic algorithm
- data mining
- workflow management systems
- face verification
- website
- artificial intelligence
- concurrent systems
- linear temporal logic
- machine learning