أرسل هذا في رسالة قصيرة: Distributed safety verification for multi-agent systems