Αποστολή με SMS: Formal Verification of Object-Oriented Software