SATABS: SAT−based Predicate Abstraction for ANSI−C
Edmund Clarke‚ Daniel Kroening‚ Natasha Sharygina and Karen Yorav
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