Inductive verification of data model invariants in web applications using first-order logic
Automated Software Engineering, pp. 1-38, 2018.
Data model Automated verification First-order logic Many-sorted logic
Modern software applications store their data in remote cloud servers. Users interact with these applications using web browsers or thin clients running on mobile devices. A key concern for these applications is the correctness of the actions that update the data store, which are triggered by user requests. Considering that modern applica...More
Full Text (Upload PDF)
PPT (Upload PPT)