Safety Verification Benchmark for Robotics是一个面向机器人系统的安全验证基准测试，系统评估形式化验证、可达性分析、障碍证书、控制屏障函数、运行时监控等多种安全验证方法在机器人操作、导航、人机协作等任务中的验证效果。基准测试使用统一的评估协议和场景，对比不同方法的验证完备性、计算效率、误报率，提供详细的实验结果和分析报告。该基准测试适用于机器人安全研究者，帮助选择和设计适合特定机器人系统的安全验证方案，来源机构为国际机器人安全研究社区。