Tools I am involved with:

• ProbReach: Verified probabilistic bounded reachability for stochastic hybrid systems [tool page] [paper]
• SPICE: Stochastic Parameter Inference with the Cross-Entropy Method [tool page] [paper]
• NUFEB: Agent-based Modelling of Microbial Communities [tool page] [paper]
• BioPSy: Guaranteed parameter set synthesis for biological system models in SBML [tool page] [paper]
• smc4mdp: Statistical model checking for Markov Decision Processes [tool page] [paper]
• SReach: Statistical model checker for bounded reachability problems in hybrid systems [tool page] [paper]
• pbnwrap: A parallel statistical model checker for Boolean networks [tool page] [paper]
• ca: A parallel simulator for the rhombic dodecahedron cellular automaton, with application to 3D fluid-dynamics simulation [tool page]