Αποστολή με SMS: Scalable Techniques for Formal Verification