Skip to main content

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