Return Home

SSV 08 is the 3rd workshop in the series, but the first one with formal refereeing and proceedings. Based on the positive experience with the last workshops, we have decided to broaden the scope to more automated analysis and testing and to make the event more formal.
 

This page provides links to the earlier workshops on system software verification:

• The Systems Verification Workshop 2006
• The Formal Methods Workshop 2005
• The OS Verification Workshop 2004 (this was a smaller, more informal meeting)