formal verification中文,formal verification的意思,formal verification翻译及用法 2026-10-17 13:01 浏览次数 28 formal verification英[ˈfɔ:məl ˌverəfɪˈkeɪʃən]美[ˈfɔrməl ˌvɛrəfɪˈkeʃən]形式验证,[数] 形式证明