• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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