1、In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
事實(shí)證明，串空間模型是分析安全協(xié)議的一種實(shí)用、直觀和嚴(yán)格的形式化方法。

2、Formal method is an important approach for construction of the trustworthy software.
形式化方法是構(gòu)建可信軟件的重要途徑。

3、Formal Method To Represent Text Meaning
篇章物理結(jié)構(gòu)與意義結(jié)構(gòu)的一種形式化表達(dá)方法

4、The type system is a formal method and tool for designing and studying programming languages.
類型系統(tǒng)是一種設(shè)計(jì)和研究程序設(shè)計(jì)語(yǔ)言的形式化方法和工具。

formal method翻譯