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