Interactive verification of medical guidelines

Authors:
Jonathan Schmitt;Alwin Hoffmann;Michael Balser;Wolfgang Reif;Mar Marcos
Affiliations:
Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg, Augsburg, Germany;Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg, Augsburg, Germany;Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg, Augsburg, Germany;Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg, Augsburg, Germany;Dept. of Computer Engineering and Science, Universitat Jaume I, Castellón, Spain
Venue:
FM'06 Proceedings of the 14th international conference on Formal Methods
Year:
2006

Citing 5
Cited 2

Symbolic Model Checking

Symbolic Model Checking
Formal System Development with KIV

FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Kronos: A Model-Checking Tool for Real-Time Systems

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
STeP: The Stanford Temporal Prover

STeP: The Stanford Temporal Prover
Verification of medical guidelines by model checking – a case study

SPIN'06 Proceedings of the 13th international conference on Model Checking Software

Interactive verification of concurrent systems using symbolic execution

AI Communications - Practical Aspects of Automated Reasoning
Medical protocol diagnosis using formal methods

FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the medical domain, there is a tendency to standardize health care by providing medical guidelines as summary of the best evidence concerning a particular topic. Based on the assumption that guidelines are similar to software, we try to carry over techniques from software engineering to guideline development. In this paper, we show how to apply formal methods, namely interactive verification to improve the quality of guidelines. As an example, we have worked on a guideline from the American Academy of Pediatrics for the management of jaundice in newborns. Contributions of this paper are as follows: (I) a formalized model of a nontrivial example guideline, (II) an approach to verify properties of medical guidelines interactively, and (III) verification of a first example property.