@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}}
}
