Title :
A Framework for Model Checking of Large Scale Disease Spread Models
Author_Institution :
Dept. of Comput. & Inf. Technol., Miami Univ. Hamilton, Hamilton, OH, USA
Abstract :
The state explosion problem in model checking is a challenge for large scale models of disease spread. An efficient formalism is created for a disease spread model. Two model reduction mechanisms are described for efficiency in model checking. Queries by variants of temporal logic on the formalism are also stated.
Keywords :
diseases; formal verification; medical computing; temporal logic; large scale disease spread models; model checking framework; queries; reduction mechanisms; state explosion problem; temporal logic variants; Epidemiological models; Model checking; Model reduction;
Conference_Titel :
BioMedical Computing (BioMedCom), 2012 ASE/IEEE International Conference on
Conference_Location :
Washington, DC
Print_ISBN :
978-1-4673-5495-0
DOI :
10.1109/BioMedCom.2012.16
