A Fast Algebraic Web Verification Service

Abstract

In this paper, we present the rewriting-based, Web verification service WebVerdi-M, which is able to recognize forbidden/incorrect patterns and incomplete/missing Web pages. WebVerdi-M relies on a powerful Web verification engine that is written in Maude, which automatically derives the error symptoms. Thanks to the AC pattern matching supported by Maude… (More)
DOI: 10.1007/978-3-540-72982-2_18

Topics

1 Figure or Table