Verifying Visibility-Based Weak Consistency.

Siddharth Krishna Michael Emmi Constantin Enea Dejan Jovanovic

Published in: CoRR (2019)

Keyphrases

real world
bayesian networks
search algorithm
global constraints
databases
genetic algorithm
information systems
web services
three dimensional
database systems
data structure
lower bound
special case
model checking
consistency checking