Boogie : A modular reusable verifier for object-oriented programs

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 364 - 387
Main Authors BARNETT, Mike, CHANG, Bor-Yuh Evan, DELINE, Robert, JACOBS, Bart, LEINO, K. Rustan M
Format Conference Proceeding
LanguageEnglish
Published Berlin Springer 2006
Subjects
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Software
Software engineering
Compiler
Formal method
Software development
Decision making
Complex system
Inference
Automatic proving
Software component
Program verification
User interface
Semantics
Object oriented
Automatic generation
Online AccessGet full text

Cover

More Information
ISBN:9783540367499
3540367497
ISSN:0302-9743
1611-3349
DOI:10.1007/11804192_17