基本解释[电子、通信与自动控制技术]形式化验证词组短语短语automatic formalized verification 形似化自动验证formalized verification更多词组专业释义电子、通信与自动控制技术形式化验证