@proceedings {ABFOR07, title = {A Fast Algebraic Web Verification Service}, journal = {Web Reasoning and Rule Systems, 1st International Conference, RR 2007}, volume = {4524}, year = {2007}, publisher = {Springer}, 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 and its metalevel facilities, WebVerdi-M enjoys much better performance and usability than a previous implementation of the verification framework. By using the XML benchmarking tool xmlgen, we develop some scalable experiments which demonstrate the usefulness of our approach.}, keywords = {Maude, Rewriting Logic, Verification of Web Applications, Web-VERDI}, author = {Maria Alpuente and Demis Ballis and Moreno Falaschi and P. Ojeda and Daniel Omar Romero} }