Enviar por SMS: Scalable Techniques for Formal Verification