Predicate Abstraction of ANSI–C Programs using SAT
Edmund Clarke‚ Daniel Kroening‚ Natasha Sharygina and Karen Yorav
Details
| Journal |
Formal Methods in System Design (FMSD) |
| Month |
September–November |
| Pages |
105–127 |
| Volume |
25 |
| Year |
2004 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |