Robotics software verification and development have emerged as pivotal fields in ensuring that increasingly complex robotic systems meet stringent functional, safety and performance criteria.