www.prismmodelchecker.org
[YPM+11] Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger and Thomas Sauter. A Study of the PDGF Signaling Pathway with PRISM. In Proc. 3rd International Workshop on Computational Models for Cell Processes (COMPMOD'11), volume 68 of EPTCS, pages 65-81. 2011.
Links: [Google] [Google Scholar]

Publications