formal analysis

常見例句

It should, then, be safe to assume that virus writers can and will find ways to break the formal analysis techniques as well.
所以我們應(yīng)該保守地假設(shè)病毒作者也能夠而且將會(huì)發(fā)現(xiàn)破壞形式分析技術(shù)的辦法。
There is the danger that changes introduced during implementation will not be subject to formal analysis and governance processes.
存在這樣一種風(fēng)險(xiǎn)，即實(shí)現(xiàn)過(guò)程中引入的更改不會(huì)經(jīng)過(guò)正式分析和管理流程。
You can then use these models in formal analysis, simulation, and prototyping to explore predicted system behavior and in documentation or reviews to communicate the system's capabilities and feel.
然后，您可以在形式化的分析、模擬和原型設(shè)計(jì)中使用這些模型，以研究預(yù)期的系統(tǒng)行為，并且可以在編寫文檔或總結(jié)時(shí)使用這些模型，以便就系統(tǒng)的性能和外觀進(jìn)行交流。

Mr Krugman, who pioneered formal economic analysis of what causes currency crises, points out that Asia's banks and finance companies operated with implicit government guarantees.
ECONOMIST: Disaster has spawned a new theory of financial crises
The Center's analysis concludes that, in the process, the formal U.S. negotiating positions at COCOM have been grievously undermined.
CENTERFORSECURITYPOLICY: Center For Security Policy
Moreover, although the Formal Opinion explicitly does not engage in a technology-by-technology analysis, see id.
FORBES: Your Ethical And Legal Duties When Using Wireless Networks