245 followers
Proving Safety with Trace Automata and Bounded Model Checking. - Daniel Kroening, Matt Lewis, Georg Weissenbacher http://t.co/pjfr2PTyMi
Proving Safety with Trace Automata and Bounded Model Checking. - Daniel Kroening, Matt Lewis, Georg Weissenbacher http://t.co/pjfr2PTyMi