has specified data input has specified data output uses platform implements has format specification is executed in has license SBML data item software Linux OS X iBioSim iBioSim has been developed for the modeling, analysis, and design of genetic circuits. While iBioSim primarily targets models of genetic circuits, models representing metabolic networks, cell-signaling pathways, and other biological and chemical systems can also be analyzed. iBioSim also includes modeling and visualization support for multi-cellular and spatial models as well. http://www.async.ece.utah.edu/iBioSim/, accessed 25 March 2015. Allyson Lister Markov Chain Monte Carlo Microsoft Windows ODE Algorithm Monte Carlo MIT License simulation and analysis of biochemical networks