Αποστολή με SMS: SAT-Based Scalable Formal Verification Solutions