Boogie: A modular reusable verifier for objectoriented programs (2006)

by Robert DeLine Chang, Bart Jacobs, K Leino
Venue:Formal Methods for Components and Objects