Boogie: A modular reusable verifier for object-oriented programs (2006)

by M Barnett, B-Y E Chang, R DeLine, B Jacobs, K R M Leino
Venue:In Proceedings of the Fourth International Symposium on Formal Methods for Components and Objects (FMCO 2005), volume 4111 of LNCS