A Verifier for Interactive, Data-Driven Web Applications.

Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou

Browse the full SIGMOD paper archive.