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.