Support for Interactive Verification of Asbru in KIV
- This technical report documents the integration of the Asbru modelling language in the interactive verification environment KIV. Asbru is useful to model medical guidelines. KIV is a powerful tool for the application of formal methods. With our integration, it is possible to apply formal interactive verification to Asbru medical guidelines.
