@inproceedings{barnett2005boogie,
author = {Barnett, Mike and Chang, Bor-Yuh Evan and DeLIne, Robert and Jacobs, Bart and Leino, Rustan},
title = {Boogie: A Modular Reusable Verifier for Object-Oriented Programs},
booktitle = {FMCO 2005},
year = {2005},
month = {November},
abstract = {A program verifier is a complex system that uses compiler technology, program semantics, property inference, verification-condition generation, automatic decision procedures, and a user interface. This paper describes the architecture of a state-of-the-art program verifier for object-oriented programs.},
publisher = {Springer Berlin Heidelberg},
url = {http://approjects.co.za/?big=en-us/research/publication/boogie-a-modular-reusable-verifier-for-object-oriented-programs/},
edition = {FMCO 2005},
}