Verification of SpecC using Predicate Abstraction
Edmund Clarke‚ Himanshu Jain and Daniel Kroening
Details
| Journal |
Formal Methods in System Design (FMSD) |
| Month |
February |
| Number |
1 |
| Pages |
5–28 |
| Volume |
30 |
| Year |
2007 |
Links
Related pages
|
People |