@inproceedings{4635,
  abstract     = {We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.},
  author       = {De Alfaro, Luca and Henzinger, Thomas A and Mang, Freddy},
  booktitle    = {Proceedings of the 10th international conference on World Wide Web},
  isbn         = {9781581133486},
  location     = {Hong Kong, Hong Kong},
  pages        = {86 -- 87},
  publisher    = {ACM},
  title        = {{MCWEB: A model-checking tool for web-site debugging}},
  year         = {2001},
}