Safety Assessment of Collaborative Robotics Through Automated Formal Verification