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

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

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

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