Αποστολή με SMS: Automatic Verification of Sequential Infinite-State Processes