Verification of Hierarchical Artifact Systems.

Alin Deutsch Yuliang Li Victor Vianu

Published in: CoRR (2016)

Keyphrases

management system
distributed systems
computer vision
face recognition
automated verification
metadata
image processing
decision trees
case study
information retrieval systems
computer systems
knowledge based systems
model checking