verifiably

' He said the international community won't accept North Korea 'unless it verifiably abandons its pursuit of nuclear weapons.
他说，除非朝鲜能切实放弃对核武器的追求，否则它将不被国际社会接受。
Bush said the appropriate time to discuss the matter is after Pyongyang has verifiably given up its nuclear weapons program.
布什说，讨论这个问题的合适时机是在平壤以可查证的方式放弃其核武器之后。
Code can be type-safe, yet not be verifiably type-safe, due to the limitations of the verification process or of the compiler.
代码可以是类型安全代码，但可能不是可验证为类型安全的代码，原因在于验证过程或编译器的限制。
Code that is proven during verification to be type-safe is called verifiably type-safe code.
在验证程序中证明为安全型别的程式码则称为安全型别程式码。
Code that is not verifiably type-safe can attempt to execute if security policy allows the code to bypass verification.
如果安全策略允许未被验证为类型安全的代码跳过验证，则可尝试执行此类代码。
And two, this policy is our best option to achieve the strategic goal of verifiably eliminating North Korea's nuclear weapons and programs.
第二点，这项政策是我们实现以可核实的方式消除北韩核武器和核项目这个战略目标的最佳方案。
Some compilers generate verifiably type-safe code only if you avoid using certain language constructs.
某些编译器只有在您避免使用某些语言构造时才生成可验证的类型安全代码。
Moreover, we design a secure and efficient verifiably encrypted signature scheme.
此外，设计了一种安全、高效的可验证加密签名体制。
Our message to the leaders of Iran is also clear: Verifiably suspend your nuclear enrichment, so negotiations can begin.
我们向伊朗领导人发出的信号也是明确的：以可核实的方式停止你们的核浓缩计划，以便开始谈判。
To determine whether your code is verifiably type-safe.
来确定代码是否是可验证为类型安全的代码。