Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version)

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig +2

We propose a formalism to model database-driven systems, called database manipulating systems (DMS). The actions of a DMS modify the current instance of a relational database by ad…