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