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

In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verification [4], as well as implemented a verifier called wave [3]. We propose to demonstrate a system which centers on wave and consists of various modules dealing with aspects ranging from specification of Web applications to explanation of verification results. Our demonstration will focus on features of the specification language and the verification input, output and performance.

• Type: Conference
• Year: 2006
• Where: SIGMOD
• Authors: Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
• Keywords: Data-driven Web Applications, Database, SIGMOD 2006, Verification Input, Verifier Called Wave