Accepted Papers

Robert Palmer, Ganesh Gopalakrishnan, and Mike Kirby
Formal Specification and Verification Using +CAL: An Experience Report

Viorica Sofronie-Stokkermans
Local reasoning in verification

Laura Ildiko Kovacs, Tudor Jebelean
Finding Polynomial Invariants for Imperative Loops in the Theorema System

Bernhard Beckert, Vladimir Klebanov
Must Program Verification Systems and Calculi be Verified?

Dieter Hutter
Automating Proofs of Unwinding Conditions

Andreas Schlosser, Christoph Walther, and Markus Aderhold
Axiomatic Specifications in VeriFun

Achim D. Brucker, Burkhart Wolff
A Package for Extensible Object-Oriented Data Models with an Application to IMP++

Sara Van Langenhove, Albert Hoogewijs
Verifying Sliced Hierarchical Statecharts with SVtL

Siraj Shaikh, Vicky Bush, and Steve Schneider
A heuristic for constructing rank functions to verify authentication protocols

Raghavendra Kagalavadi Ramesh, Deepak D'Souza
Checking Unwinding Conditions for Finite State Systems

Myla Archer, Elizabeth Leonard
Establishing High Confidence in Code Implementations of Algorithms using Formal Verification of Pseudocode