Login / Signup
Verifying Visibility-Based Weak Consistency.
Siddharth Krishna
Michael Emmi
Constantin Enea
Dejan Jovanovic
Published in:
ESOP (2020)
Keyphrases
</>
preprocessing
real time
model checking
weak signal
databases
computer vision
website
high level
similarity measure
expert systems
consistency checking
temporal consistency