Keyphrases
- concurrent systems
- automated verification
- asynchronous circuits
- bounded model checking
- model checking
- formal verification
- formal specification
- delay insensitive
- model checker
- data sets
- evolutionary algorithm
- face verification
- formal methods
- specification language
- protocol specification
- functional requirements
- distributed systems
- video sequences
- data structure
- website
- decision making
- social networks