A containerized ROS-compliant verification environment for robotic systems