Αποστολή με SMS: Tools for Practical Software Verification