Αποστολή με SMS: Formal hardware verification :