VERIFY

Keyphrases

Publications

2008

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

volume 372, 2008

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008 VERIFY 372 (2008)

2007

volume 259, 2007

Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007 VERIFY 259 (2007)