The following technical report is available from http://aib.informatik.rwth-aachen.de:

Doctoral Symposium on Systems Software Verification (DS SSV'09) Ralf Huuck, Gerwin Klein, Bastian Schlich (eds.) AIB 2009-14

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.