Doctoral Symposium on Systems Software Verification (DS SSV'09)

Ralf Huuck, Gerwin Klein, Bastian Schlich (eds.)

This report contains the proceedings of the Doctoral Symposium on
Systems Software Verification (DS SSV'09), which was held during the
4th International Workshop on Systems Software Verification (SSV'09)
in Aachen, Germany, June 22-24, 2009.