Transforming opacity verification to nonblocking verification in modular systems.
Sahar MohajeraniStéphane LafortunePublished in: CoRR (2019)
Keyphrases
- asynchronous circuits
- formal methods
- neural network
- face verification
- model checking
- automated verification
- management system
- distributed systems
- learning systems
- complex systems
- multimodal biometrics
- formal analysis
- retrieval systems
- computer systems
- learning algorithm
- building blocks
- intelligent systems
- hidden markov models