Robot Control Specification Verification