WM2010SessionSEuFM

Session Chair: Ina Schaefer

Presentations:

Reiner Hähnle: Partial Evaluation for Scalable Verification
Wolfgang Ahrendt: Verification of Distributed Objects with Asynchronous Method Calls
Ina Schaefer: Reuse-based Verification of Software Product Lines
Richard Bubel: Demonstration of the Symbolic Visual Debugger