Asbru in KIV v2.1 – A Tutorial

  • Guidelines are health care instruments to standardise and improve the quality of medical treatments. Guidelines may contain errors. With the growing importance of guidelines, also the potential impact of errors therein grows. We propose to apply formal methods to those health care instruments to rigourus quality test them and reduce the amount of errors. We translate the guidelines in the formal planing language Asbru, which can be verified with the interactive theorem prover KIV. This paper is meant as a tutorial how to use the different techniques developed during the Protocure project to handle small and large plan hierarchies.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Jonathan SchmittGND, Michael BalserGND, Wolfgang ReifORCiDGND
URN:urn:nbn:de:bvb:384-opus4-4618
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/577
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2006-03)
Type:Report
Language:English
Publishing Institution:Universität Augsburg
Release Date:2007/08/27
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik