High Performance Statistical Model Checking

The project implements a newly developed Bayesian Statistical Model Checking technology for analyzing stochastic biochemical models in BioNetGen with interesting prior information about the property being true on the model. This has also been applied to the statistical model checking of cyber-physical systems, protocols and stochastic models in computational finance.