VERIFY-2010 Accepted Papers

Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing
Automated Proof of Authentication Protocols in a Logic of Events
Automatic generation of high quality test sets via CBMC
User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier
Proving Four-Slot Algorithm Using Ownership Transfer
MCMT in the Land of  Parametrized Timed  Automata
Mind the Gap: Formal Verification and the Common Criteria
Composable Packages for Higher Order Logic Theories
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays
Towards High-Assurance Multiprocessor Virtualisation