Proving Safety with Trace Automata and Bounded Model Checking (bibtex)
by Daniel Kroening, Matt Lewis, Georg Weissenbacher
Reference:
Proving Safety with Trace Automata and Bounded Model CheckingDaniel Kroening, Matt Lewis, Georg WeissenbacherFormal Methods - 20th International Symposium, FM 2015, volume 9109 of Lecture Notes in Computer Science, pages 325-341, 2015, Springer.
Bibtex Entry:
@inproceedings{KLW15:FM,
  author    = {Daniel Kroening and
               Matt Lewis and
               Georg Weissenbacher},
  title     = {Proving Safety with Trace Automata and Bounded Model Checking},
  booktitle = {Formal Methods - 20th International Symposium, {FM} 2015},
  pages     = {325--341},
  year      = {2015},
  series    = {Lecture Notes in Computer Science},
  volume    = {9109},
  publisher = {Springer},
  url       = {http://dx.doi.org/10.1007/978-3-319-19249-9_21},
  doi       = {10.1007/978-3-319-19249-9_21},
}
Powered by bibtexbrowser