2) non-formal methods
非形式化技术
1.
It is necessary to integrate non-formal methods with formal methods within communication system software engineering, while the former offers a good support for systems early modeling, and the latter provides the basis for system specification and implementation.
通信软件工程包括系统建模和设计实现两大阶段 ,分别采用非形式化技术与形式化技术 。
4) formal verification technique
形式化验证技术
1.
In this paper,illustrate the formal verific ation requirement for security protocols, also describe several formal verification techniques and set forth the relative merit of each in detail.
文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的几种形式化的验证技术及各自的优缺点,探讨了形式化验证技术所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向。
5) formalized technique integration
形式化技术集成
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条