Verification and Falsification of Programs with Loops Using Predicate Abstraction
Daniel Kroening and Georg Weissenbacher
Details
| Journal |
Formal Aspects of Computing |
| Publisher |
Springer |
| Year |
2009 |
Links
DOI (10.1007/s00165-009-0110-2)
Related pages
|
People |