Model Checking of Asbru

  • Model checking is known as an automatic verification technique which can be applied very efficiently. Formalisation of medical guidelines in Asbru enables us to apply formal verification on medical guidelines. In this deliverable we show, how model checking can be applied to Asbru plans. After a short survey, which model checking techniques are suitable for verification of Asbru, we show how a finite state model can be constructed from Asbru plans and how they can automatically compiled. Further, we discuss what kind of properties can be verified with model checking.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Andriy DunetsGND, Simon BäumlerGND, Arjen Hommersom, Wolfgang ReifORCiDGND
URN:urn:nbn:de:bvb:384-opus4-10861
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/1286
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2009-14)
Type:Report
Language:English
Publishing Institution:Universität Augsburg
Release Date:2009/07/27
Tag:medical guidelines; formal methods; Asbru
GND-Keyword:Model Checking
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
Licence (German):Deutsches Urheberrecht mit Print on Demand