Login / Signup

Verifying Visibility-Based Weak Consistency.

Siddharth KrishnaMichael EmmiConstantin EneaDejan 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