Automatic Verification of Database-Centric Systems
SIGLOG News, Volume 5, Issue 2, 2018, Pages 37-56.
We present an overview of results on verification of temporal properties of infinite-state transition systems arising from processes that carry and manipulate unbounded data. The techniques bring into play tools from logic, database theory, and model checking. The theoretical results establish the boundaries of decidability and the comple...More
Full Text (Upload PDF)
PPT (Upload PPT)