www.prismmodelchecker.org
[BCS+06] D. Bhaduri, S. Shukla, D. Coker, V. Taylor, P. Graham and M. Gokhale. A Hybrid Framework for Design and Analysis of Fault Tolerant Architectures and its Applications to Nanoscale Molecular Crossbar Memories. In Proc. Design, Automation and Test in Europe (DATE'06). March 2006. http://fermat.ece.vt.edu/Fermatian_Info/debayan.html
Links: [Google] [Google Scholar]

Publications