A User-friendly Tool for Model Checking Healthcare Workflows

Workflow management tools may be used in many domains, to guide and direct processes, to support monitoring activities and to increase organizational efficiency. In safety critical applications such as healthcare, it is essential that the workflow is error-free, that is, for every run of the workflow, necessary requirements are satisfied and unwanted situations do not occur. However, most tools and frameworks which support workflow …