Brian Butka, Janusz Zalewski, Andrew J. Kornecki. Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. In Bettina Buth, Gerd Rabe, Till Seyfarth, editors, Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings. Volume 5775 of Lecture Notes in Computer Science, pages 201-214, Springer, 2009. [doi]
Abstract is missing.