Carmen Cârlan, Daniel Ratiu, Bernhard Schätz. On Using Results of Code-Level Bounded Model Checking in Assurance Cases. In Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings. Volume 9923 of Lecture Notes in Computer Science, pages 30-42, Springer, 2016. [doi]
Abstract is missing.