Recency-Bounded Verification of Dynamic Database-Driven Systems.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine

Browse the full PODS paper archive.