How to Prove that a Circuit is Fault-Free?

Raimund Ubar, Sergei Kostin, Jaan Raik. How to Prove that a Circuit is Fault-Free?. In 15th Euromicro Conference on Digital System Design, DSD 2012, Cesme, Izmir, Turkey, September 5-8, 2012. pages 427-430, IEEE, 2012. [doi]

Abstract

Abstract is missing.