Microsoft Research
Microsoft Translator |
Boogie: A Modular Reusable Verifier for Object-Oriented Programs

Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, and K. Rustan M. Leino
2005

In  FMCO 2005

Details

TypeProceedings
URLhttp://research.microsoft.com/~leino/papers/krml160.pdf
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Boogie: A Modular Reusable Verifier for Object-Oriented Programs