ISSE

Search

Experiences in Quality Checking Medical Guidelines using Formal Methods

Perry Groot, Arjen Hommersom, Peter Lucas, Michael Balser, Jonathan Schmitt

Experiences in Quality Checking Medical Guidelines using Formal Methods

Abstract. In health care, the trend of evidence-based medicine, has led medical specialists to develop medical guidelines, which are large nontrivial documents suggesting the detailed steps that should be taken by health-care professionals in managing the disease in a patient. In the Protocure project the objective has been to assess the improvement of medical guidelines using formal methods. This paper reports on some of our findings and experiences in quality checking medical guidelines. In particular the formalisation of meta-level quality criteria for good practice medicine, which is used in conjunction with medical background knowledge to verify the quality of a guideline dealing with the management of diabetes mellitus type 2 using the interactive theorem prover KIV. For comparison, analogous investigations have been performed with other techniques including automatic theorem proving and model checking.
published 2007 VVSS, 164-178