@proceedings {BG06, title = {A Rule-based System for Web Site Verification}, journal = {Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites (WWV 2005)}, volume = {157}, number = {2}, year = {2006}, pages = {153{\textendash}156}, publisher = {Elsevier}, abstract = {In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties of a given Web site, and then automatically check whether these properties are actually fulfilled. It provides a rule-based, formal specification language which allows us to define syntactic/semantic conditions for the Web site by means of a user-friendly graphical interface as well as a verification facility for recognizing forbidden/incorrect patterns and incomplete/missing Web pages.}, keywords = {GVERDI, Verification of Web Applications}, author = {Demis Ballis and Javier Garcia Viv{\'o}} }