Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Verification and Falsification of Programs with Loops Using Predicate Abstraction

Verification and Falsification of Programs with Loops Using Predicate Abstraction

Daniel Kroening and Georg Weissenbacher

Journal
Formal Aspects of Computing
Publisher
Springer
Year
2009

Links

See Also

Back to Top