Αποστολή με SMS: Validation methods using formal techniques