Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.

在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。

youdao

Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.

因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。

youdao

The security model is the cornerstone for developing the security operating system, while the formal method provides high level assurance for the understanding of the security model accurately.

安全模型是安全系统开发的基石，而形式化方法则为准确理解安全模型提供了高保障依据。

youdao

Now "The Theory of the Formal Method," Eikhenbaum's essay that you've read for today, was written in 1927.

这篇，形式语言学理论“,是艾肯鲍姆，在1927年写的。

耶鲁公开课 - 文学理论导论课程节选

In the industrialised world, formal burial in a coffin is still the preferred method of interment.

ECONOMIST: The world��s way of death