基本解釋[電子、通信與自動控制技術]形式化驗證詞組短語短語automatic formalized verification 形似化自動驗證formalized verification更多詞組專業(yè)釋義電子、通信與自動控制技術形式化驗證