VERIFY 2008: Sydney, NSW, Australia

Bernhard Beckert, Gerwin Klein (Eds.): Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. CEUR Workshop Proceedings 372 CEUR-WS.org 2008

Bernhard Beckert, Gerwin Klein:
Title, Preface, Table of Contents.

Abstracts of Invited Talks

Gilles Barthe:
Certificate Translation.
Gernot Heiser:
Operating System Verification for Real Use.

Research Papers

Hasan Amjad, Richard Bornat:
Model Checking for Stability Analysis in Rely-Guarantee Proofs.
Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif:
Compositional Proofs with Symbolic Execution.
Richard Bubel, Reiner Hähnle, Peter H. Schmitt:
Specification Predicates with Explicit Dependency Information.
David Cock:
Bitfields and Tagged Unions in C: Verification through Automatic Generation.
Matthias Daum, Jan Dörrenbächer, Sebastian Bogan:
Model Stack for the Pervasive Verification of a Microkernel-based Operating System.
Niusha Hakimipour, Paul A. Strooper, Roger Duke:
Exploring Model-Based Development for the Verification of Real-Time Java Code.
Gurvan Le Guernic:
Precise Dynamic Verification of Confidentiality.