Browsing Department of Informatics by Subject "Efficient verification"
Now showing items 1-1 of 1
-
Model Checking Healthcare Workflows Using Alloy
(Journal article; Peer reviewed, 2014)Workflows are used to organize business processes, and workflow management tools are used to guide users in which order these processes should be performed. These tools increase organizational efficiency and enable users ...