Experiences in the formalisation and verification of medical protocols

Mar Marcos*, Michael Balser, Annette Ten Teije, Frank Van Harmelen, Christoph Duelli

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review


Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order to reach their potential benefits, protocols must fulfill strong quality requirements. Medical bodies worldwide have made efforts in this direction, mostly using informal methods such as peer review of protocols. We are concerned with, a different approach, namely the quality improvement of medical protocols by formal methods. In this paper we report on our experiences in the formalisation and verification of a real-world medical protocol. We have fully formalised a medical protocol in a two-stage formalisation process. Then, we have used a theorem prover to confirm whether the protocol formalisation complies with certain protocol properties. As a result, we have shown that formal verification can be used to analyse, and eventually improve, medical protocols.

Original languageEnglish
Pages (from-to)132-141
Number of pages10
JournalLecture Notes in Computer Science
Publication statusPublished - 2003


Dive into the research topics of 'Experiences in the formalisation and verification of medical protocols'. Together they form a unique fingerprint.

Cite this