WAVE: Web Application VErifier

What is WAVE?

WAVE is a tool implemented in Java for verifying temporal properties of data-driven Web applications. WAVE takes as inputs the specification of a Web application (written in a declarative, rule-based specification language) and a property (expressed in first-order temporal logic), and outputs whether the property is true or false for that Web application together with plenty of useful verification information (such as a counterexample in case of a false property).

Who are we?

The WAVE team are members of the Database Group, Department of Computer Science and Engineering, University of California, San Diego.

Alin Deutsch
Liying Sui
Victor Vianu
Dayou Zhou

How to WAVE?

New to WAVE? Try our online demo.
Been there, seen it? Go to the WAVE download page.

[Please send comments and suggestions to dzhou AT cs.ucsd.edu]