Skip to main content


Proc. 4th international workshop on system software verification (SSV09)


Ralf Huuck, Gerwin Klein and Schlich Bastian



RWTH Aachen University


This volume contains the proceedings of the 4th International Workshop on Systems Software Verification (SSV) held in Aachen, Germany, June 22--24, 2009.

The purpose of SSV is to bring together researchers and developers from both academia and industry, who are facing real software and real problems to find real, applicable solutions. By "real'' we mean problems such as time-to-market or reliability that the industry is facing and is trying to fix in software that is deployed in the market place. A real solution is one that is applicable to the problem in industry and not one that only applies to an abstract, academic toy version of it. SSV discusses software analysis/development techniques and tools, and serves as a platform to discuss open problems and future challenges in dealing with existing and upcoming system code.

Each paper has been examined by at least 3 reviewers and we would like to thank the members of the Programme Committee as well as the external reviewers for their detailed and thorough investigation of each contribution.

The workshop programme consisted of the presentation of the 10 full papers in this volume, the SSV'09 doctoral symposium, and the following three invited talks.

Kwangkeun Yi (Seoul National University, South Korea). On our Sparrow experience, an industrial-strength non-domain-specific static bug-finder for C

Thomas Santen (EMIC, Aachen, Germany). Verification of Real-World C Programs with VCC

Josh Berdine (Microsoft Research, Cambridge, UK). Automatic Verification of Heap Manipulation using Separation Logik

We would like to thank the the Programme Committee, the authors, and the workshop organizers for their contribution to the success of this 4th International Workshop on Systems Software Verification. Finally, we are grateful for the generous support we received from the European Microsoft Innovation Center (EMIC), Germany.

BibTeX Entry

    journal          = {Electronic Notes in Theoretical Computer Science},
    author           = {Huuck, Ralf and Klein, Gerwin and Bastian, Schlich},
    month            = {oct},
    volume           = {254},
    year             = {2009},
    title            = {Proc. 4th International Workshop on System Software Verification ({SSV09})},
    pages            = {1-3}