Rule-based Web site verification

Introduction

• We briefly recall the formal verification methodology proposed in ABF06, which allows us to detect forbidden/erroneous information as well as missing information in a Web site. By executing a Web specification on a given Web site, we are able to recognize and exactly locate the source of a possible discrepancy between the Web site and the properties required in the Web specification.