Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.

Brian Butka, Janusz Zalewski, Andrew J. Kornecki

Browse the full SAFECOMP paper archive.