Modularising Verification Of Durable Opacity.

Eleni Bila John Derrick Simon Doherty Brijesh Dongol Gerhard Schellhorn Heike Wehrheim

Published in: CoRR (2020)

Keyphrases

model checking
formal verification
verification method
functional verification
machine learning
case study
expert systems
face verification
formal methods
signature verification
concurrent systems