Title: | Context-Aware Counter Abstraction |
---|---|
Links: | Homepage Document as PDF |
Authors: | Gerard Basler |
Michele Mazzucchi | |
Thomas Wahl | |
Daniel Kroening EMail | |
Remarks: | |
Topics: |
Bibtex:
@article{bmwk2010, AUTHOR = { Basler, Gerard and Mazzucchi, Michele and Wahl, Thomas and Kroening, Daniel }, TITLE = { Context-Aware Counter Abstraction }, YEAR = { 2010 }, PUBLISHER = { Springer }, PAGES = { 223--245 }, JOURNAL = { Formal Methods in System Design (FMSD) }, VOLUME = { 36 }, NUMBER = { 3 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.