0.9Bモデルの計算ミスを減らすための検証手法を検証。自己検算・規則分解・大型モデルとの合意チェックの3運用を比較した結果、合意チェックのみが静かなミスを抑制する効果があったと報告。