Model checking database applications

DOI10.1007/978-3-642-36742-7_40MaRDI QIDQ5326350zbMATH OpenOpenAlexFDO

Authors Miloš V. Gligorić, Rupak Majumdar

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

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Monitoring Atomicity in Concurrent Programs
• On the automated verification of web applications with embedded SQL
• Database Theory - ICDT 2005
• Specification and verification of data-driven Web applications
• scientific article; zbMATH DE number 1798186

Cited in

(5)

• On the automated verification of web applications with embedded SQL
• Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
• Model checking interval temporal logics with regular expressions
• DPF
• scientific article; zbMATH DE number 1863368 (Why is no real title available?)

Describes a project that uses

Uses Software

• Atomizer
• Eraser
• Java PathFinder
• SPIN
• veriSoft

This page was built for publication: Model checking database applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326350)