The 1st Verified Software Competition: Experience Report
Authors:
- Vladimir KlebanovVKVladimir Klebanov
- Peter MüllerPMPeter Müller
- Natarajan ShankarNSNatarajan Shankar
- Gary T. LeavensGLGary T. Leavens
- Valentin WüstholzVWValentin Wüstholz
- Eyad AlkassarEAEyad Alkassar
- Rob ArthanRARob Arthan
- Derek BronishDBDerek Bronish
- Rod ChapmanRCRod Chapman
- Ernie CohenECErnie Cohen
- Mark HillebrandMHMark Hillebrand
- Bart JacobsBJBart Jacobs
- 1 January 2011
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 154-168
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Building a push-button RESOLVE verifier: Progress and challengesFormal Aspects of Computing, 2011
- Dynamic Frames in Java Dynamic LogicLecture Notes in Computer Science, 2011
- A Polymorphic Intermediate Verification Language: Design and Logical Encoding2010
- Dafny: An Automatic Program Verifier for Functional Correctness2010
- A Brief Overview of HOL42008
- Z3: An Efficient SMT Solver2008
- Smallfoot: Modular Automatic Assertion Checking with Separation Logic2006
- Boogie: A Modular Reusable Verifier for Object-Oriented Programs2006
- Permission accounting in separation logic2005