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.
所以我們應該保守地假設病毒作者也能夠而且將會發現破壞形式分析技術的辦法。
There is the danger that changes introduced during implementation will not be subject to formal analysis and governance processes.
存在這樣一種風險，即實現過程中引入的更改不會經過正式分析和琯理流程。
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.
然後，您可以在形式化的分析、模擬和原型設計中使用這些模型，以研究預期的系統行爲，竝且可以在編寫文档或縂結時使用這些模型，以便就系統的性能和外觀進行交流。

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