www.prismmodelchecker.org
[LLL+12b] Robyn Lutz, Jack Lutz, James Lathrop, Titus Klinge, Divita Mathur, D. M. Stull, Taylor Bergquist and Eric Henderson. Requirements Analysis for a Product Family of DNA Nanodevices. In Proc. 20th IEEE International Requirements Engineering Conference. 2012. [Applies requirements engineering methods to DNA nanodevices and uses PRISM to verify the generated properties.]
Links: [Google] [Google Scholar]

Publications