But negotiations have been stalled for months over Pyongyang's refusal to accept a verification program for the declaration of its nuclear holdings and activities it made last June.

VOA: standard.2009.03.25

That is verification of a prediction.

这就是预测的根据

耶鲁公开课 - 基础物理课程节选

But the six-party talks have stalled over Pyongyang's refusal to accept a verification program for the declaration of its nuclear assets and activities that was agreed to last June.

VOA: standard.2009.04.14

Frank Miller,a former senior official on the National Security Council says those verification provisions are crucial.

VOA: standard.2009.12.07