We show how model-checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of web sites.
Poster Proceedings of the Tenth International Word-Wide Web Conference (WWW), 2001, pp. 86-87.