MCWEB: A Model-Checking Tool for Web Site Debugging

15 years 29 days ago

We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.

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

Internet Technology | Model Checking Techniques | WWW 2001 |

claim paper

Added	22 Nov 2009
Updated	22 Nov 2009
Type	Conference
Year	2001
Where	WWW
Authors	Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Comments (0)