Inductive verification of data model invariants in web applications using first-order logic

Automated Software Engineering, pp. 1-38, 2018.

Cited by: 2|Bibtex|Views4|Links
EI
Keywords:
Data model Automated verification First-order logic Many-sorted logic

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments