Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
Daniel Kroening‚ Edmund Clarke and Karen Yorav
Details
| Book Title |
Proceedings of DAC 2003 |
| ISBN |
1−58113−688−9 |
| Pages |
368–371 |
| Publisher |
ACM Press |
| Year |
2003 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |