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

by Mike Barnett , Bor-yuh Evan Chang , Robert Deline , Bart Jacobs , K. Rustanm. Leino
Venue:Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, volume 4111 of Lecture Notes in Computer Science
Citations:212 - 39 self

Document Versions

Boogie: A modular reusable verifier for object-oriented programs –Mike Barnett, Bor-yuh Evan Chang, Robert Deline, Bart Jacobs, K. Rustanm. Leino — 2006 — Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, volume 4111 of Lecture Notes in Computer Science
Boogie: A modular reusable verifier for object-oriented programs –Mike Barnett, Bor-yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino — 2006 — FORMAL METHODS FOR COMPONENTS AND OBJECTS: 4TH INTERNATIONAL SYMPOSIUM, FMCO 2005, VOLUME 4111 OF LECTURE NOTES IN COMPUTER SCIENCE
Boogie: A modular reusable verifier for object-oriented programs –Mike Barnett, Bor-yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino — 2006 — FORMAL METHODS FOR COMPONENTS AND OBJECTS: 4TH INTERNATIONAL SYMPOSIUM, FMCO 2005, VOLUME 4111 OF LECTURE NOTES IN COMPUTER SCIENCE