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.
Author: | Jonathan SchmittGND, Michael BalserGND, Wolfgang ReifORCiDGND |
---|---|
URN: | urn:nbn:de:bvb:384-opus4-4618 |
Frontdoor URL | https://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 |