Boogie: A Modular Reusable Verifier for Object-Oriented Programs

Projects

Publications

People

Downloads

Project Tuva Enhanced Video Player

Watch the Feynman Lectures

> Publications > 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

Type:	Proceedings
URL:	http://research.microsoft.com/~leino/papers/krml160.pdf