A Rule-based System for Web site Verification

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. Key words: Web site Verification, Rewriting, Formal Methods.

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Demis Ballis, Javier García-Vivó
• Keywords: Completeness Properties, ENTCS 2006, Formal Specification Language, Web Site