Web Verification: Perspective and Challenges

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.