This paper presents the specification and design of a cooperative multi-robot system (CMRS) tailored for delivery services. In the context of increasing demand for efficient logistics solutions, especially in underdeveloped regions like Algeria, the deployment of mobile robots offers promising avenues for enhancing delivery operations. Leveraging advancements in robotics, this paper outlines a comprehensive approach toward developing a fleet of collaborative robots capable of navigating diverse environments to facilitate delivery tasks. The proposed system addresses the unique challenges faced in delivery services, such as communication and seamless coordination among multiple robots. In this work, a prototype of a mobile robot for delivery service is provided to test the proposed cooperative multi-robot system at the University of Biskra in Algeria as a case study. Afterward, a formal model for the proposed system is prepared based on the Buchi automaton. Under the UPPAAL model-checker tool, the behavior of the proposed CMRS is verified in terms of two criteria: the system’s safety and the system’s liveness which are formulated in a set of computational tree logic (CTL) properties. The UPPAAL model-checker tool results show that the proposed CMRS represents a safe and robust delivery mobile system.