Skip to main content

Verification and Falsification of Programs with Loops Using Predicate Abstraction

Daniel Kroening and Georg Weissenbacher

Journal
Formal Aspects of Computing
Publisher
Springer
Year
2009