Interactive Verification of Medical Guidelines

Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In this paper, we present the first tool which directly supports interactive verification of medical guidelines.2

• Type: Conference
• Year: 2006
• Where: FM
• Authors: Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
• Keywords: FM 2006, Formal Methods, Health Care, Important Issue, Medical Guidelines