Formal System In System Programming