McWeb: A Model-checking Tool for Web-site Debugging


Luca de Alfaro, Thomas A. Henzinger, and Freddy Y.C. Mang

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.


Download inofficial, sometimes updated PostScript / PDF document. © 2001 World-Wide Web Conference.