DMCA
Boogie: A modular reusable verifier for object-oriented programs (2006)
Cached
Download Links
- [research.microsoft.com]
- [www.research.microsoft.com]
- [www.research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [www.microsoft.com]
- [www.cs.berkeley.edu]
- [www.cs.berkeley.edu]
- [www.cs.berkeley.edu]
- [www.cs.colorado.edu]
- [www.cs.colorado.edu]
- [www.cs.colorado.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, volume 4111 of Lecture Notes in Computer Science |
| Citations: | 309 - 49 self |
BibTeX
@INPROCEEDINGS{Barnett06boogie:a,
author = {Mike Barnett and Bor-yuh Evan Chang and Robert Deline and Bart Jacobs and K. Rustanm. Leino},
title = {Boogie: A modular reusable verifier for object-oriented programs},
booktitle = {Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, volume 4111 of Lecture Notes in Computer Science},
year = {2006},
pages = {364--387},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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. 0
