Verification and Falsification of Programs with Loops Using Predicate Abstraction
Daniel Kroening, Georg Weissenbacher infojournal | Formal Aspects of Computing |
publisher | Springer |
year | 2009 |
links
BibTeX
Link
DOI (10.1007/s00165-009-0110-2)
related pages
|
