Patrice Godefroid: Invited Talk: "Model checking" software with VeriSoft. PASTE 2004: 36