Αποστολή με SMS: Formal System Verification