Proving Safety with Trace Automata and Bounded Model Checking.

Daniel Kroening, Matt Lewis, Georg Weissenbacher

Browse the full FM paper archive.