Proving Safety with Trace Automata and Bounded Model Checking

Daniel Kroening, Matt Lewis, Georg Weissenbacher. Proving Safety with Trace Automata and Bounded Model Checking. In Nikolaj Bjørner, Frank D. de Boer, editors, FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Volume 9109 of Lecture Notes in Computer Science, pages 325-341, Springer, 2015. [doi]

Abstract

Abstract is missing.