Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Boogie: A Modular Reusable Verifier for Object-Oriented Programs

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

Details

Publication typeProceedings
Published inFMCO 2005
URLhttp://research.microsoft.com/~leino/papers/krml160.pdf
> Publications > Boogie: A Modular Reusable Verifier for Object-Oriented Programs