Login / Signup
Modularising Verification Of Durable Opacity.
Eleni Bila
John Derrick
Simon Doherty
Brijesh Dongol
Gerhard Schellhorn
Heike Wehrheim
Published in:
Log. Methods Comput. Sci. (2022)
Keyphrases
</>
model checking
formal verification
face verification
machine learning
database systems
verification method
data sets
decision trees
three dimensional
bayesian networks
multi agent systems
hidden markov models
high security
concurrent systems