Boogie: A Modular Reusable Verifier for Object-Oriented Programs

In  FMCO 2005

Details

TypeProceedings
URLhttp://research.microsoft.com/~leino/papers/krml160.pdf
> Publications > Boogie: A Modular Reusable Verifier for Object-Oriented Programs