Verdi: An Automated Tool for Web Sites Verification

Abstract

Verdi is a system for the automated verification of Web sites which can be used to specify integrity conditions for a given Web site, and then automatically check whether these conditions are actually fulfilled. It provides a rule-based, formal specification language which allows us to define syntactic/semantic properties of the Web site as well as a… (More)
DOI: 10.1007/978-3-540-30227-8_67

Topics

1 Figure or Table

Cite this paper

@inproceedings{Alpuente2004VerdiAA, title={Verdi: An Automated Tool for Web Sites Verification}, author={Mar{\'i}a Alpuente and Demis Ballis and Moreno Falaschi}, booktitle={JELIA}, year={2004} }