Transforming Opacity Verification to Nonblocking Verification in Modular Systems.

Sahar Mohajerani Stéphane Lafortune

Published in: IEEE Trans. Autom. Control. (2020)

Keyphrases

automated verification
formal methods
model checking
asynchronous circuits
formal verification
multimodal biometrics
real time
face verification
databases
neural network
management system
test cases
computer vision
building blocks
formal analysis
safety analysis