FMCO 2005 : Boogie: A Modular Reusable Verifier for Object-Oriented Programs

Reference

2005

detail
pdf
ps

Boogie: A Modular Reusable Verifier for Object-Oriented Programs

Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, and K. Rustan M. Leino

FMCO 2005: International Symposium on Formal Methods for Components and Objects

BibTeX

@string{FMCO = "International Symposium on Formal Methods for Components and Objects (FMCO)"}
@inproceedings{boogie-fmco05,
  author = {Mike Barnett and Bor-Yuh Evan Chang and Robert DeLine and Bart Jacobs and K. Rustan M. Leino},
  title = {
            {Boogie}: A Modular Reusable Verifier for Object-Oriented Programs},
  booktitle = FMCO,
  year = {2005},
  pages = {364-387},
  
}