1、The benefit is that one can build up the theory of correctness provable compiler easily.
這樣處理的好處是便于構(gòu)造正確性可證明的編譯器設計的理論基礎。

2、Finally, the design of RSA encrypt scheme and its provable security were discussed.
最后，提出了可證明安全的抵御SPA攻擊的RSA加密方案的設計方法。

3、Is it provable mammals are smarter than others animals?
哺乳類動物是否比其他動物聰明呢？

4、A provable case of negligence
證據(jù)確鑿的玩忽職守事件

5、Provable Security is the essential requirement of modern cryptographic schemes.
可證明安全是現(xiàn)代密碼方案的基本要求。

provable翻譯