VERIFAS: A Practical Verifier for Artifact Systems

Yuliang Li, Alin Deutsch, Victor Vianu. VERIFAS: A Practical Verifier for Artifact Systems. PVLDB, 11(3):283-296, 2017. [doi]

Abstract

Abstract is missing.