Verification of SpecC and Verilog using Predicate Abstraction
Himanshu Jain‚ Edmund Clarke and Daniel Kroening
Details
| Book Title |
Proceedings of MEMOCODE 2004 |
| ISBN |
0−7803−8509−8 |
| Pages |
7–16 |
| Publisher |
IEEE |
| Year |
2004 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |