AutoProof: Auto-Active Functional Verification of Object-Oriented Programs.

Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova

Browse the full TACAS paper archive.