Αποστολή με SMS: Verification of Sequential and Concurrent Programs