www.prismmodelchecker.org
[RLB+12] Mikolaj Rybinski, Michal Lula, Pawel Banasik, Slawomir Lasota and Anna Gambin. Tav4SB: Integrating tools for analysis of kinetic models of biological systems. BMC Systems Biology, 6(25). 2012.
Links: [Google] [Google Scholar]

Publications