Applying symbolic bounded model checking to the 2012 RERS greybox challenge

Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer 0002. Applying symbolic bounded model checking to the 2012 RERS greybox challenge. STTT, 16(5):519-529, 2014. [doi]

@article{MorseCN014,
  title = {Applying symbolic bounded model checking to the 2012 RERS greybox challenge},
  author = {Jeremy Morse and Lucas Cordeiro and Denis Nicole and Bernd Fischer 0002},
  year = {2014},
  doi = {10.1007/s10009-014-0335-0},
  url = {http://dx.doi.org/10.1007/s10009-014-0335-0},
  researchr = {https://researchr.org/publication/MorseCN014},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {16},
  number = {5},
  pages = {519-529},
}