Paolo Zuliani - Software

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.


smc4mdp
Statistical model checking for Markov Decision Processes.


pbnwrap
A parallel statistical model checker for Boolean networks.


ca
A parallel simulator for the rhombic dodecahedron cellular automaton, with application to 3D fluid-dynamics simulation.




Home