Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers. Garoche, P., Kahsai, T., & Tinelli, C. In Proceedings of NASA Formal Methods, pages 139-154, 2013.
Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers [link]Paper  bibtex   1 download  
@inproceedings{ dblp2163224,
  title = {Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers},
  author = {Pierre-Loïc Garoche and Temesghen Kahsai and Cesare Tinelli},
  author_short = {Garoche, P. and Kahsai, T. and Tinelli, C.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp2163224},
  id = {dblp2163224},
  biburl = {http://www.dblp.org/rec/bibtex/conf/nfm/GarocheKT13},
  url = {http://dx.doi.org/10.1007/978-3-642-38088-4_10},
  conference = {NASA Formal Methods},
  pages = {139-154},
  text = {NASA Formal Methods 2013:139-154},
  booktitle = {Proceedings of NASA Formal Methods}
}

Downloads: 1