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

釋義：形式化方法英文的名稱是formal methods。

用法提示：理解「形式化方法」時，先看它在句子中表示的人、事物、動作或狀態，再結合上下文判斷具體含義。

• 形式化方法的詞語解釋：

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