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