Title: | Race Analysis for SystemC using Model Checking |
---|---|
Links: | Homepage Document as PDF |
Authors: | Nicolas Blanc |
Daniel Kroening EMail | |
Remarks: | |
ISSN: | 1084-4309 |
Topics: |
Bibtex:
@article{bk2010-todaes, AUTHOR = { Blanc, Nicolas and Kroening, Daniel }, TITLE = { Race Analysis for {SystemC} using {Model} {Checking} }, YEAR = { 2010 }, PUBLISHER = { ACM }, JOURNAL = { ACM Transactions on Design Automation of Electronic Systems (TODAES) }, VOLUME = { 15 }, MONTH = { May }, NUMBER = { 3 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.