---
_id: '4635'
abstract:
- lang: eng
  text: We show how model checking techniques can be applied to the analysis of connectivity
    and cost-of-traversal properties of Web sites.
article_processing_charge: No
author:
- first_name: Luca
  full_name: De Alfaro, Luca
  last_name: De Alfaro
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Freddy
  full_name: Mang, Freddy
  last_name: Mang
citation:
  ama: 'De Alfaro L, Henzinger TA, Mang F. MCWEB: A model-checking tool for web-site
    debugging. In: <i>Proceedings of the 10th International Conference on World Wide
    Web</i>. ACM; 2001:86-87.'
  apa: 'De Alfaro, L., Henzinger, T. A., &#38; Mang, F. (2001). MCWEB: A model-checking
    tool for web-site debugging. In <i>Proceedings of the 10th international conference
    on World Wide Web</i> (pp. 86–87). Hong Kong, Hong Kong: ACM.'
  chicago: 'De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “MCWEB: A Model-Checking
    Tool for Web-Site Debugging.” In <i>Proceedings of the 10th International Conference
    on World Wide Web</i>, 86–87. ACM, 2001.'
  ieee: 'L. De Alfaro, T. A. Henzinger, and F. Mang, “MCWEB: A model-checking tool
    for web-site debugging,” in <i>Proceedings of the 10th international conference
    on World Wide Web</i>, Hong Kong, Hong Kong, 2001, pp. 86–87.'
  ista: 'De Alfaro L, Henzinger TA, Mang F. 2001. MCWEB: A model-checking tool for
    web-site debugging. Proceedings of the 10th international conference on World
    Wide Web. WWW: World Wide Web Conference, 86–87.'
  mla: 'De Alfaro, Luca, et al. “MCWEB: A Model-Checking Tool for Web-Site Debugging.”
    <i>Proceedings of the 10th International Conference on World Wide Web</i>, ACM,
    2001, pp. 86–87.'
  short: L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International
    Conference on World Wide Web, ACM, 2001, pp. 86–87.
conference:
  end_date: 2000-05-05
  location: Hong Kong, Hong Kong
  name: 'WWW: World Wide Web Conference'
  start_date: 2001-05-01
date_created: 2018-12-11T12:09:52Z
date_published: 2001-05-01T00:00:00Z
date_updated: 2023-05-08T09:39:02Z
day: '01'
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ir.webis.de/anthology/2001.wwwconf_conference-2001p.57/
month: '05'
oa_version: None
page: 86 - 87
publication: Proceedings of the 10th international conference on World Wide Web
publication_identifier:
  isbn:
  - '9781581133486'
publication_status: published
publisher: ACM
publist_id: '71'
quality_controlled: '1'
status: public
title: 'MCWEB: A model-checking tool for web-site debugging'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '2001'
...