Concepedia

Boogie: a modular reusable verifier for object-oriented programs

Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino

2006 · 242 citations · 0 references

Concepts