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

形式分析
Research on the commercial security policy includes modeling of the security policy, formal analysis principle of security policy, the framework of commercial security policy and its formal analysis.
商务安全策略研究的主要内容包括:安全策略制模和形式分析原理、商务安全策略框架模型研究以及形式分析。
电子、通信与自动控制技术
形式分析
形式化分析