Fakultät für Informatik und Mathematik


Paper Description

BibTeX entry

author={C. Schoenberg, M. Jaksic, F. Weitl, B. Freitag},
title={{Verification of Web-Content: A Case Study on Technical Documentation}},
institution={{Fakult{\"a}t f{\"u}r Informatik und Mathematik, Universit{\"a}t Passau}},


In this paper, we present the results of a case study on a novel approach to document verification. Employing new techniques of user constraint specification and model checking, our aim is to bridge the gap between logical precision and usability, thus enabling authors and inexperienced users to employ formal verification methods. Based on a technical documentation in the form of a web document, we show that our approach is effective, efficient and has a high usability. Additionally, we argue that document verification is highly relevant for many applications, but especially for web content and hypertext documents.

Paper itself