SMT-Based Verification of Concurrent Critical System.

Matthias Güdemann

Published in: Sicherheit (2022)

Keyphrases

model checking
neural network
decision trees
artificial neural networks
formal analysis
asynchronous circuits
database
image sequences
person identification
mutual exclusion
concurrent execution