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 BibTeX

Abstracts of Invited Talks

Gilles Barthe:
Certificate Translation.
Electronic Edition (link) BibTeX
Gernot Heiser:
Operating System Verification for Real Use.
Electronic Edition (link) BibTeX

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