Microsoft Research
Microsoft Translator |
Counterexamples with Loops for Predicate Abstraction

Daniel Kroening and Georg Weissenbacher
2006

In  CAV

Details

TypeInproceedings
Pages152-165
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Counterexamples with Loops for Predicate Abstraction