Enviar por SMS: Verification, model Checking, and abstract interpretation