TY  - RPRT
TI  - Proving Safety with Trace Automata and Bounded Model Checking
AU  - Daniel Kroening
AU  - Matt Lewis
AU  - Georg Weissenbacher
PY  - 2014
UR  - https://arxiv.org/abs/1410.5764
ID  - 1410.5764
ER  -