SSP Group Meeting
Wednesday, October 31st, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


 

Verifying Web Site Properties using Computational Logic

Joćo Cavalcanti

In this talk I shall adress the problem of integrity constraints and property checking of Web site applications. We have developed an approach for automated Web site synthesis based on declarative specifications. This declarative specification provides a basis for proving different kinds of properties. Examples of interesting properties are reachability of information, broken links checking and order of information presentation. I shall present how our Web site development approach supports verification of properties and integrity constraints with examples.