A system for specification and verification of interactive, data-driven web applications