Verification of Careflow Management Systems with Timed BDICTL Logic

Health care workflows (careflows) involve complex, distributive processes with a high degree of variability. There are ubiquitous communication and massive data and knowledge management requirements and the processes are time sensitive, involve complex timing requirements, and are safety critical. Designing these processes and managing their performance is difficult and error prone. Using verification techniques, mathematical methods of proving …