Keyphrases
- delay insensitive
- specification language
- data sets
- real time
- concurrent systems
- control flow
- bounded model checking
- asynchronous circuits
- formal verification
- formal specification
- distributed systems
- information technology
- database systems
- high level
- computer vision
- artificial intelligence
- machine learning
- data mining
- databases