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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Barnett, M., Chang, B. Y. E., DeLine, R., Jacobs, B., & Leino, K. R. M. (2006). Boogie: A modular reusable verifier for object-oriented programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4111 LNCS, pp. 364–387). Springer Verlag. https://doi.org/10.1007/11804192_17
Mendeley helps you to discover research relevant for your work.