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.