Now showing items 1-1 of 1

  • Recency-Bounded Verification of Dynamic Database-Driven Systems 

    Abdulla PA; Aiswarya C; Atig MF; Montali M; Rezine O (ACM Press and Addison Wesley, 2016)
    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 adding new elements into the database, ...