Skip to main content

Predicate Abstraction of ANSI–C Programs using SAT

Edmund Clarke‚ Daniel Kroening‚ Natasha Sharygina and Karen Yorav

Journal
Formal Methods in System Design (FMSD)
Month
September–November
Pages
105–127
Volume
25
Year
2004