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