Predicate Abstraction of ANSI-C Programs Using SAT
Additional information
Authors
Sharygina N.,
Clarke E.,
Kroening D.,
Yorav K.
Type
Journal Article
Year
2004
Language
English
Journal
Formal Methods in System Design
Pages (or article number)
105-127
