Model Checking Database Applications
From MaRDI portal
Publication:5326350
DOI10.1007/978-3-642-36742-7_40zbMath1381.68163OpenAlexW2140782052MaRDI QIDQ5326350
Rupak Majumdar, Miloš V. Gligorić
Publication date: 5 August 2013
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_40
Database theory (68P15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11)
Related Items (3)
Model checking interval temporal logics with regular expressions ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ DPF
Uses Software
This page was built for publication: Model Checking Database Applications