MCWEB: A model-checking tool for web-site debugging

L. De Alfaro, T.A. Henzinger, F. Mang, in:, ACM, 2001, pp. 86–87.

Download
No fulltext has been uploaded. References only!
Conference Paper | Published
Author
; ;
Abstract
We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.
Publishing Year
Date Published
2001-05-01
Page
86 - 87
Conference
WWW: World Wide Web Conference
IST-REx-ID

Cite this

De Alfaro L, Henzinger TA, Mang F. MCWEB: A model-checking tool for web-site debugging. In: ACM; 2001:86-87.
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging (pp. 86–87). Presented at the WWW: World Wide Web Conference, ACM.
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “MCWEB: A Model-Checking Tool for Web-Site Debugging,” 86–87. ACM, 2001.
L. De Alfaro, T. A. Henzinger, and F. Mang, “MCWEB: A model-checking tool for web-site debugging,” presented at the WWW: World Wide Web Conference, 2001, pp. 86–87.
De Alfaro L, Henzinger TA, Mang F. 2001. MCWEB: A model-checking tool for web-site debugging. WWW: World Wide Web Conference 86–87.
De Alfaro, Luca, et al. MCWEB: A Model-Checking Tool for Web-Site Debugging. ACM, 2001, pp. 86–87.

Link(s) to Main File(s)
Access Level
Restricted Closed Access

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar