Automatic Verification of Database-Centric Systems

SIGLOG News, Volume 5, Issue 2, 2018, Pages 37-56.

Cited by: 7|Bibtex|Views9|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments