Invia SMS: Validation methods using formal techniques