Recency-Bounded Verification of Dynamic Database-Driven Systems.

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

Published in: PODS (2016)

Keyphrases

database driven
dynamic environments
data sets
business processes
model checking