Advanced verification by automatic property generation (bibtex)

by Frank Rogin and Thomas Klotz and Görschwin Fey and Rolf Drechsler and Steffen Rülke

Reference:

Frank Rogin and Thomas Klotz and Görschwin Fey and Rolf Drechsler and Steffen Rülke, "Advanced verification by automatic property generation", IET Computers & Digital Techniques, vol. 3, no. 4, pp. 338-353, 2009.

Bibtex Entry:

@article{DBLP:journals/iet-cdt/RoginKFDR09,
  author    = {Frank Rogin and
               Thomas Klotz and
               G{\"o}rschwin Fey and
               Rolf Drechsler and
               Steffen R{\"u}lke},
  pi    = {Rolf Drechsler},
  title     = {Advanced verification by automatic property generation},
  pdffile = {../pipubs/subprojects/P04/Drechsler_Property_Generation_2009.pdf},
  journal   = {IET Computers {\&} Digital Techniques},
  volume    = {3},
  number    = {4},
  year      = {2009},
  pages     = {338-353},
  ee        = {http://dx.doi.org/10.1049/iet-cdt.2008.0110},
  bibsource = {DBLP, http://dblp.uni-trier.de},
keywords={easecrc_cognitive_arch_systems}
}