book chapterLecture notes in computer scienceJan 1, 2006Closed access

Boogie: A Modular Reusable Verifier for Object-Oriented Programs

MBMike BarnettBEBor-Yuh Evan ChangRDRobert DeLineBJBart JacobsKRK. Rustan M. Leino

Microsoft (United States) · University of California, Berkeley · +1 more institution

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

792
total citations
FWCI
28.97
Percentile
100%
References
64
Citations per year

Authors

5

Topics & keywords

Topics
Keywords
  • Computer science
  • Programming language
  • Compiler
  • Modular design
  • Semantics (computer science)
  • Interface (matter)
  • Object-oriented programming
  • Software engineering
UN Sustainable Development Goals
  • Peace, Justice and strong institutions
No related works found for this paper.