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

Brian Butka Janusz Zalewski Andrew J. Kornecki Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. 201-214 2009 SAFECOMP http://dx.doi.org/10.1007/978-3-642-04468-7_17 conf/safecomp/2009 db/conf/safecomp/safecomp2009.html#ButkaZK09