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