Daniel Kröning, Matt Lewis, Georg Weissenbacher
Proving Safety with Trace Automata and Bounded Model Checking
FM, 2015.
@inproceedings{FM-2015-KroeningLW, author = "Daniel Kröning and Matt Lewis and Georg Weissenbacher", booktitle = "{Proceedings of the 20th International Symposium of Formal Methods}", doi = "10.1007/978-3-319-19249-9_21", isbn = "978-3-319-19248-2", pages = "325--341", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Proving Safety with Trace Automata and Bounded Model Checking}", volume = 9109, year = 2015, }