發送短信: Distributed safety verification for multi-agent systems