www.prismmodelchecker.org
[BS04] D. Bhaduri and S. Shukla. NANOPRISM: A Tool for Evaluating Granularity vs. Reliability Trade-offs in Nano Architectures. In Proc. 14th Great Lakes Symposium on VLSI (GLSVLSI'04), ACM. April 2004. http://fermat.ece.vt.edu/Fermatian_Info/debayan.html#Recent Publications
Links: [Google] [Google Scholar]

Publications