Αποστολή με SMS: Verification of sequential and concurrent programs