Tekstiviesti: Distributed safety verification for multi-agent systems