Related Experiment Video
Updated: Jun 30, 2026

Identifying Dysregulated Genes Induced by Kaposi's Sarcoma-associated Herpesvirus (KSHV)
Published on: September 14, 2010
Verification of medical guidelines in KIV
Jonathan Schmitt1, Michael Balser, Wolfgang Reif
1University of Augsburg, Germany. schmitt@informatik.uni-augsburg.de
Abstract:
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.
Related Concept Videos
Legal Guidelines for Documentation
Guidelines for Nursing Documentation II
Timely documentation is crucial to ensure continuity of care for patients. Any delays in recording or reporting medical information can result in medical errors and even adverse patient outcomes. From medication administration to diagnostic test results, every detail must be accurately and promptly documented to provide the best possible care for patients.
Guidelines For Measuring Vital Signs
Before taking a patient's vital signs, a nurse would consider and assess the patient's comfort level and ensure appropriate equipment is available.
Guidelines for Nursing Documentation I
Factual:
The following points emphasize the significance of upholding accurate and unbiased documentation in healthcare.
Standards of Care II
Standards of Care I
