Paolo Zuliani 

Computer Science Department
Carnegie Mellon University

Title: Statistical Model Checking for Biological Systems

Abstract: Computational modeling is increasingly used to gain insights
into the behavior of complex biological systems, such as signaling
pathways. Moreover, powerful verification methods such as model checking
have been recently applied to the analysis of biological system models.
In this talk we exemplify this approach on several signaling pathways
important in cancer. We first use the rule-based BioNetGen language to
build computational models of the pathways. Then we apply statistical
model checking for verifying temporal logic properties of the models. In
particular, the use of statistical model checking enables us to verify
large systems in a scalable way.