logo              Stochastic Models:
Scalable Model Checking.
Home Members Meetings Tasks Publications Bibliography

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.
  • proto

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