DocumentCode :
2171184
Title :
A Framework for Model Checking of Large Scale Disease Spread Models
Author :
Ghosh, Koushik
Author_Institution :
Dept. of Comput. & Inf. Technol., Miami Univ. Hamilton, Hamilton, OH, USA
fYear :
2012
fDate :
14-16 Dec. 2012
Firstpage :
59
Lastpage :
61
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
BioMedical Computing (BioMedCom), 2012 ASE/IEEE International Conference on
Conference_Location :
Washington, DC
Print_ISBN :
978-1-4673-5495-0
Type :
conf
DOI :
10.1109/BioMedCom.2012.16
Filename :
6516429
Link To Document :
بازگشت