2 search results - page 1 / 1 » Type-Based Static and Dynamic Website Verification |
ICIW
2007
IEEE
13 years 8 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
ENTCS
2008
13 years 4 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...