技术报告 · 2015.01
统计软件安全证据的可能性与局限
Determining Software Safety: Understanding the Possibilities and Limitations of International Safety
资料概述
Julia V. Bukowski 从输入独立性与分布、内部状态及正确输出判定等条件解释 Annex D 统计测试。其对无故障运行小时数局限的分析，可作为审视 AI 安全论证采样假设的背景。
出版与版本信息
公开出版方 PDF 副本；区分封面日期、发布日和后期副本版权年份。