Abstraction and Learning for Infinite-State Compositional Verification. Giannakopoulou, D. & Pasareanu, C. S. In Banerjee, A., Danvy, O., Doh, K., & Hatcliff, J., editors, Festschrift for Dave Schmidt, volume 129, of EPTCS, pages 211-228, 2013.
Abstraction and Learning for Infinite-State Compositional Verification. [link]Link  Abstraction and Learning for Infinite-State Compositional Verification. [link]Paper  bibtex   
@inproceedings{journals/corr/GiannakopoulouP13,
  added-at = {2018-09-12T00:00:00.000+0200},
  author = {Giannakopoulou, Dimitra and Pasareanu, Corina S.},
  biburl = {https://www.bibsonomy.org/bibtex/21bb2a8ad6c37d53005c1b881a47e02d0/dblp},
  booktitle = {Festschrift for Dave Schmidt},
  crossref = {journals/corr/BanerjeeDDH13},
  editor = {Banerjee, Anindya and Danvy, Olivier and Doh, Kyung-Goo and Hatcliff, John},
  ee = {http://arxiv.org/abs/1309.5140},
  interhash = {f2cb635db892992436ae4db0fe7efee5},
  intrahash = {1bb2a8ad6c37d53005c1b881a47e02d0},
  keywords = {dblp},
  pages = {211-228},
  series = {EPTCS},
  timestamp = {2018-09-13T11:40:42.000+0200},
  title = {Abstraction and Learning for Infinite-State Compositional Verification.},
  url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs129.html#GiannakopoulouP13},
  volume = 129,
  year = 2013
}

Downloads: 0