VERIFAS: A Practical Verifier for Artifact Systems.

Alin Deutsch Yuliang Li Victor Vianu

Published in: CoRR (2017)

Keyphrases

distributed systems
real time
data structure
expert systems
management system
computer systems
retrieval systems
real world
search engine
image processing
decision trees
information technology
learning systems