Title: | Scoot: A Tool for the Analysis of SystemC Models |
---|---|
Links: | Document as PDF |
Authors: | Nicolas Blanc |
Daniel Kroening EMail | |
Natasha Sharygina | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{bks2008-scoot, AUTHOR = { Blanc, Nicolas and Kroening, Daniel and Sharygina, Natasha }, TITLE = { Scoot: A Tool for the Analysis of {SystemC} Models }, BOOKTITLE = { Proceedings of TACAS 2008 }, YEAR = { 2008 }, PUBLISHER = { Springer }, PAGES = { 467--470 }, SERIES = { Lecture Notes in Computer Science }, VOLUME = { 4963 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.