Towards property-based consistency verification.

Paolo Viotti Christopher Meiklejohn Marko Vukolic

Published in: PaPoC@EuroSys (2016)

Keyphrases

global consistency
model checking
face verification
disjunctive constraints
signature verification
formal verification
temporal consistency
information systems
temporal logic
verification method
neural network
artificial intelligence
image processing
face detection
distributed databases
functional verification