Instead of simulating a design the correctness is proven by formal techniques.

不是类比一种设计正确性被正式的技术证明。

youdao

It focuses on the interaction between project staff members rather than specific technologies or formal techniques.

它把重心集中在项目员工之间的相互作用，而非特定的技术和正式的技术。

youdao

There exist challenges in applying formal techniques to electronic contract signing protocols, which are not encountered in the analysis of key exchange and authentication protocols.

与密钥分发和认证协议相比，电子合同签订协议的形式化分析遇到了新的挑战。

youdao

The system will combine what are called formal argumentation techniques with Natural Language Generation (NLG), which essentially converts complex information and data into text summaries.

BBC: Robots and humans could 'talk' via new software

Ofgem initially launched a formal investigation in September 2010 into the sales techniques of four firms - Scottish Power, SSE, Npower and EDF.

BBC: E.On UK sales investigated by Ofgem