Web/Testing and Verification
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Methods, libraries and applications for verifying the correctness of a web site's behaviour.
GVerdi
The system GVERDI (Graphical VErification and Rewriting for Debugging Internet Sites) is a Web verifier prototype that is able to detect missing/incomplete Web pages and incorrect/forbidden information inside a Web site w.r.t. a given formal specification.
Home page: http://users.dsic.upv.es/grupos/elp/GVerdi/