Keyphrases
- model checking
- high level
- formal specification
- software architecture
- delay insensitive
- transition systems
- control flow
- architectural design
- bounded model checking
- functional requirements
- real time
- concurrent systems
- specification language
- formal specification language
- formal descriptions
- asynchronous circuits
- video sequences
- multiscale
- machine learning
- neural network