Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar: Paolo Zuliani

LFCS Seminar: Paolo Zuliani

— filed under:

Verification of Stochastic Systems by Statistical Model Checking

What
  • LFCS Seminar
When Mar 12, 2013
from 04:00 PM to 05:00 PM
Where IF 4.31-33
Contact Name
Add event to calendar vCal
iCal


Statistical model checking is a simulation-based 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., cyber-physical 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 cyber-physical systems and signalling pathway models. We conclude by discussing the strength and weaknesses of the approach and possible directions for future
research.

Document Actions