SPIN: SPIN workshop on Model Checking of Software