www.prismmodelchecker.org
[LMP11] Pietro Liò, Emanuela Merelli and Nicola Paoletti. Multiple verification in computational modeling of bone pathologies. In Proc. 3rd International Workshop on Computational Models for Cell Processes (COMPMOD'11), volume 68 of EPTCS, pages 82-96. 2011. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications