أرسل هذا في رسالة قصيرة: Runtime verification :