On Using Results of Code-Level Bounded Model Checking in Assurance Cases.

Carmen Crlan, Daniel Ratiu, Bernhard Schtz

Browse the full SAFECOMP paper archive.