Web Verification: Perspective and Challenges
Workshop on Automated Specification and Verification of Web Sites, 2005
The Web poses novel and interesting problems for both programming language design and verification---and their intersection. This paper provides a personal outline of one thread of work on this topic.
This is only a brief overview paper. It doesn't provide much technical detail, nor does it cite much of the other literature in this area. If you find this interesting, please see the actual work this is built on, most concretely from ICSE 2005 and ASE 2004.
These papers may differ in formatting from the versions that appear in print. They are made available only to support the rapid dissemination of results; the printed versions, not these, should be considered definitive. The copyrights belong to their respective owners.