Αποστολή με SMS: SPIN Model Checking and Software Verification