Sign in

Boogie: A Modular Reusable Verifier for Object-Oriented Programs.

Michael BarnettBor-Yuh Evan ChangRobert DeLineBart JacobsK. Rustan M. Leino
Published in: FMCO (2005)
Keyphrases
  • object oriented programs
  • specification languages
  • integration testing
  • impact analysis
  • object oriented
  • black box
  • source code
  • software components
  • formal specification
  • database
  • databases
  • test cases