SATABS: SAT−based Predicate Abstraction for ANSI−C
Edmund Clarke‚ Daniel Kroening‚ Natasha Sharygina and Karen Yorav
Details
| Book Title |
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005) |
| ISBN |
3−540−25333−5 |
| Pages |
570–574 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
3440 |
| Year |
2005 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |