Fakultät für Informatik und Mathematik
MIP-0904

MIP-0904

Paper Description

BibTeX entry

@incollection{MIP-0904,
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}},
year={2009},
number={MIP-0904}
}

Abstract

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

MIP-0904.pdf