1、
逻辑实证主义者坚持经验证实原则，把可证实性作为分界标准，认为只有能被经验证实的命题才是有意义的命题。
互联网摘选
2、
IMF需要改变特别提款权的纳入标准，并维护货币甄选的可验证性。
互联网摘选
3、
逻辑实证主义的可证实标准和波普的可否证标准,提出了绝对的、逻辑的划界标准.
互联网摘选
4、
5、
然而签密方案不能像传统方法那样同时提供前向安全性和可公开验证性.
互联网摘选
6、
形式化方法由于其可验证性、准确性以及无二义性的特点，可以有效地对网络认证协议的安全性质进行分析检测。
互联网摘选
7、
From the ground up everything is based on the concepts of isolation and verifiability.
自底向上，一切事物都是基于隔离与可验证的概念。
互联网摘选
8、
该方案实现了参与竞标公司身份的匿名性、中标者的不可否认性、可公开验证性等安全性问题。
互联网摘选
