Title: | Loop Summarization using Abstract Transformers |
---|---|
Links: | Homepage Document as PDF |
Authors: | Daniel Kroening EMail |
Natasha Sharygina | |
Stefano Tonetta | |
Aliaksei Tsitovich | |
Christoph M. Wintersteiger | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{ksttw2008, AUTHOR = { Kroening, Daniel and Sharygina, Natasha and Tonetta, Stefano and Tsitovich, Aliaksei and Wintersteiger, Christoph M. }, TITLE = { Loop Summarization using Abstract Transformers }, BOOKTITLE = { Automated Technology for Verification and Analysis (ATVA) }, YEAR = { 2008 }, PUBLISHER = { Springer }, PAGES = { 111--125 }, ISBN = { 978-3-540-88386-9 }, SERIES = { Lecture Notes in Computer Science }, VOLUME = { 5311 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.