Logic-based verification of technical documentation

Authors:
Christian Schönberg;Franz Weitl;Mirjana Jakšić;Burkhard Freitag
Affiliations:
University of Passau, Passau, Germany;University of Passau, Passau, Germany;University of Passau, Passau, Germany;University of Passau, Passau, Germany
Venue:
Proceedings of the 9th ACM symposium on Document engineering
Year:
2009

Citing 3
Cited 3

xlinkit: a consistency checking and smart link generation service

ACM Transactions on Internet Technology (TOIT)
NuSMV 2: An OpenSource Tool for Symbolic Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Towards the automated verification of semi-structured documents

Data & Knowledge Engineering

Expect the unexpected: error code mismatches between documentation and the real world

Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Verifying the consistency of web-based technical documentations

Journal of Symbolic Computation
A unified format for language documents

SLE'10 Proceedings of the Third international conference on Software language engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Checking the content coherence of digital documents is the purpose of the Verdikt system which can be applied to different domains and document types including technical documentation, e-learning documents, and web pages. An expressive temporal description logic allows for the specification of content consistency criteria along document paths. Whether the document conforms to the specification can then be verified by applying a model checker. In case of specification violations, the model checker provides counterexamples, locating errors in the document precisely. Based on a sample technical documentation in the form of a web document, the general verification process and its effectiveness, efficiency, and usability are demonstrated.