Paper Info
Title
Boogie: a modular reusable verifier for object-oriented programs
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.
Year
DOI
Venue
2005
10.1007/11804192_17
formal methods
Keywords
Field
DocType
automatic decision procedure,modular reusable verifier,verification-condition generation,program verifier,property inference,complex system,user interface,program semantics,compiler technology,object-oriented program,state-of-the-art program verifier,object oriented programming
Programming language,Object-oriented programming,Computer science,Abstract interpretation,Theoretical computer science,Compiler,Modular design,Component-based software engineering,Formal methods,User interface,Software development
Conference
Volume
ISSN
Citations 
4111
0302-9743
294
PageRank 
References 
Authors
12.51
41
5
Search Limit
100294
Name
Order
Citations
PageRank
Mike Barnett161329.03
Bor-Yuh Evan Chang254737.04
Robert DeLine32957210.35
Bart Jacobs4122372.61
Rustan, K.53995301.64