We present Bio-Stark, an extension of Stark for the simulation and analysis of biological systems.
Specifically, to simulate the stochastic, dynamical, behaviour of these systems, Bio-Stark exploits the core simulation model of Stark, the evolution sequence model, and it extends it by refining the discrete step modelling into a time-point modelling.
We show how Bio-Stark allows us to verify robustness properties on the oscillatory behaviour of the gene regulatory network known as the repressilator.