Software I am involved with: Guaranteed parameter set synthesis for biological system models in SBML. Verified probabilistic bounded reachability for stochastic hybrid systems. Statistical model checker for bounded reachability problems in hybrid systems. |