{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:36:13Z","timestamp":1740202573147,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"abstract":"<jats:p>We propose to use computerised medical guidelines as models for verification tools, so they can be validated with medical properties. To test the applicability we provide an implementation of the semantics of the medical planning language Asbru and also provide a formalised guideline for the treatment of breast cancer. With this case study we conduct experiments testing different proof techniques to cope with several challenges which guidelines provide.<\/jats:p>","DOI":"10.3233\/978-1-58603-873-1-253","type":"book-chapter","created":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T16:48:36Z","timestamp":1740156516000},"source":"Crossref","is-referenced-by-count":0,"title":["Verification of Medical Guidelines in KIV"],"prefix":"10.3233","author":[{"family":"Schmitt Jonathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Balser Michael","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Reif Wolfgang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7437","container-title":["Studies in Health Technology and Informatics","Computer-based Medical Guidelines and Protocols: A Primer and Current Trends"],"original-title":[],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T16:55:22Z","timestamp":1740156922000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISSNISBN&issn=0926-9630&volume=139&spage=253"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-58603-873-1-253","relation":{},"ISSN":["0926-9630"],"issn-type":[{"value":"0926-9630","type":"print"}],"subject":[],"published":{"date-parts":[[2008]]}}}