ISSE

Search

Verification of Medical Guidelines by Model Checking -- A Case Study

Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt

Verification of Medical Guidelines by Model Checking - A Case Study

The paper presents the process of formal modeling and verification of guidelines using the modeling language Asbru, temporal logic for expressing the quality requirements, and model checking for proof and error detection. The approach is illustrated with a case study on a guideline by the American Association for Pediatrics on "Jaundice in healthy Newborns".

published 2006 Proceedings of the 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, satellite event of ETAPS 2006.

Publisher: Springer LNCS 3925, 219-233


ISBN: 3-540-33102-6


Downloads: