LFCS Seminar: Paolo Zuliani
Verification of Stochastic Systems by Statistical Model Checking
What 


When 
Mar 12, 2013 from 04:00 PM to 05:00 PM 
Where  IF 4.3133 
Contact Name  jcheney@inf.ed.ac.uk 
Add event to calendar 
vCal iCal 
Statistical model checking is a simulationbased approach for verifying temporal logic properties of complex stochastic systems. Traditional model checking techniques work by searching efficiently the entire state space of the system. However, many interesting systems (e.g., cyberphysical systems) have exceedingly large, or even infinite, state spaces. This makes techniques based on exhaustive search unfeasible. Statistical model checking is instead based on sampling and system simulation, and thereby scales better with system size. We present a statistical model checking approach based on Bayesian statistics, and we apply it to cyberphysical systems and signalling pathway models. We conclude by discussing the strength and weaknesses of the approach and possible directions for future
research.