Scoot: A Tool for the Analysis of {SystemC} Models
Blanc, Nicolas, Kroening, Daniel, Sharygina and Natasha
Details
| Book Title |
Proceedings of TACAS 2008 |
| Note |
To appear. |
| Publisher |
Springer |
| Year |
2008 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |