EPiC Volume 3

Markus Aderhold, Serge Autexier and Heiko Mantel (editors)

Title:	VERIFY-2010. 6th International Verification Workshop
Editors:	Markus Aderhold, Serge Autexier and Heiko Mantel
Series:	EasyChair Proceedings in Computing
Volume:	3
Publication date:	May 15, 2012

authors	title
Vèronique Cortier	Verification of Security Protocols
Cliff Jones	Abstractions Before Proofs
Andrè Platzer	Real Analysis for Complex Systems
Bernhard Beckert, Daniel Bruns and Sarah Grebing	Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper)
Mark Bickford	Automated Proof of Authentication Protocols in a Logic of Events
Angelo Brillout, Daniel Kroening, Philipp Rümmer and Thomas Wahl	Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays
Alessandro Carioni, Silvio Ghilardi and Silvio Ranise	MCMT in the Land of Parametrized Timed Automata
Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma and Alessandra Puddu	Automatic generation of high quality test sets via CBMC
Joe Hurd	Composable Packages for Higher Order Logic Theories
Andrei Lapets	User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier
Michael von Tessin	Towards High-Assurance Multiprocessor Virtualisation
Shuling Wang and Xu Wang	Proving Simpson's Four-Slot Algorithm Using Ownership Transfer
Daniel Wasserrab and Denis Lohner	Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing