Automated Parameterized Verification of CRDTs.

Kartik Nagar Suresh Jagannathan

Published in: CAV (2) (2019)

Keyphrases

model checking
semi automated
data driven
semi automatic
verification method
fully automated
face verification
database
control system
hidden markov models
probabilistic model
computer aided
computer assisted
automated analysis
signature verification
formal verification