Model checking timed properties of healthcare processes

Abstract Healthcare workflows (careflows) involve complex, distributive processes with a high degree of variability. There are ubiquitous communication and enormous data and knowledge management requirements and the processes involve complex timing requirements, and are safety critical. Designing these processes and managing their performance is difficult and error‐prone. Using verification techniques such as model checking, which are …