Skip to main content

Scoot: A Tool for the Analysis of SystemC Models

Nicolas Blanc‚ Daniel Kroening and Natasha Sharygina

Book Title
Proceedings of TACAS 2008
Note
To appear.
Publisher
Springer
Year
2008