Αποστολή με SMS: Software Verification and Analysis