Incremental Bounded Model Checking for Embedded Software (extended version). Schrammel, P., Kroening, D., Brain, M., Martins, R., Teige, T., & Bienmüller, T. CoRR, 2014.
Incremental Bounded Model Checking for Embedded Software (extended version). [link]Link  Incremental Bounded Model Checking for Embedded Software (extended version). [link]Paper  bibtex   
@article{journals/corr/SchrammelKBMTB14,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Schrammel, Peter and Kroening, Daniel and Brain, Martin and Martins, Ruben and Teige, Tino and Bienmüller, Tom},
  biburl = {https://www.bibsonomy.org/bibtex/2488e5184c7165603364b07c06c8d987d/dblp},
  ee = {http://arxiv.org/abs/1409.5872},
  interhash = {c53701fde307ad77d6f040101bda2558},
  intrahash = {488e5184c7165603364b07c06c8d987d},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T14:29:14.000+0200},
  title = {Incremental Bounded Model Checking for Embedded Software (extended version).},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1409.html#SchrammelKBMTB14},
  volume = {abs/1409.5872},
  year = 2014
}

Downloads: 0