拼音：xíng shì huà fāng fǎ

释义：形式化方法英文的名称是formal methods。

用法提示：理解“形式化方法”时，先看它在句子中表示的人、事物、动作或状态，再结合上下文判断具体含义。

• 形式化方法的词语解释：

  形式化方法英文的名称是formal methods。