www.prismmodelchecker.org
[BSGG06] D. Bhaduri, S. Shukla, P. Graham and M. Gokhale. Comparing Reliability-Redundancy Trade-offs for Two Von Neumann Multiplexing Architectures. IEEE Transactions on Nanotechnology. To appear. 2006. http://fermat.ece.vt.edu/Fermatian_Info/debayan.html
Links: [Google] [Google Scholar]

Publications