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

Authors:

JTJulian Tschannen
Julian Tschannen

Publisher website

1 January 2015

book chapter
Published by Springer Nature

p. 566-580
DOI:10.1007/978-3-662-46681-0_53

Abstract

No abstract available

Keywords

All Related Versions

This publication has 24 references indexed in Scilit:

Why3 — Where Programs Meet Provers
2013
The COST IC0701 Verification Competition 2011
Lecture Notes in Computer Science, 2012
Specification and verification
Communications of the ACM, 2011
The 1st Verified Software Competition: Experience Report
Lecture Notes in Computer Science, 2011
A Quick Tour of the VeriFast Program Verifier
2010
VCC: A Practical System for Verifying Concurrent C
2009
The KOA Remote Voting System: A Summary of Work to Date
2007
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
2007
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
2006
Friends Need a Bit More: Maintaining Invariants Over Shared State
Lecture Notes in Computer Science, 2004