Automated Parameterized Verification of CRDTs.

Kartik Nagar Suresh Jagannathan

Published in: CoRR (2019)

Keyphrases

semi automated
fully automated
model checking
real time
evolutionary algorithm
automated analysis
computer vision
image processing
website
context sensitive
test generation