Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Scoot: A Tool for the Analysis of SystemC Models

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

Links

See Also

Back to Top