Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ENTCS
2006

favoriteEmaildiscussreport

93views more ENTCS 2006»

A Rule-based System for Web site Verification

13 years 4 months ago

A Rule-based System for Web site Verification

Download users.dsic.upv.es

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.

Demis Ballis, Javier García-Vivó

Real-time Traffic

Completeness Properties | ENTCS 2006 | Formal Specification Language | Web Site |

claim paper

Related Content

» Web Sites Verification An Abductive Logic Programming Tool

» Designing and Creating a Web Site Based on RDF Content

» WAVE Automatic Verification of DataDriven Web Services

» Hardening Web browsers against maninthemiddle and eavesdropping attacks

» OReFiL an online resource finder for life sciences

» Dynamic Web Content Filtering based on Users Knowledge

» Access control systems for spatial data infrastructures and their administration

» Monitoring and Updating Regulations and Policies for Government Services

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Demis Ballis, Javier García-Vivó

Comments (0)