Title: SPIN Model Checking and Software Verification