Stochastic Models: Scalable Model Checking.

Project Blanc ANR-13-BS02-0011-01 [2014-2018]

Aim: develop scalable model checking techniques that can handle large stochastic systems. Large stochastic systems arise naturally in many different contexts: from networks to system biology. Application: we will demonstrate the techniques on two stochastic biomodels: A model for Hela cells death and a model of stress response in yeast. Technique: approximate the system, monitor the accuracy of the approximation, and decide whether to recompute with a better accuracy according to the interval of behaviors obtained.

New: Tool DBNizer New: Tool Stamina New: Tool Inferno