formal method
[英]ˈfɔ:məl ˈmeθəd [美]ˈfɔrməl ˈmɛθəd
形式方法
[例句]Being a formal verification method ,model checking is used frequently in hardware and software design.
模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用.
formal method
[英]ˈfɔ:məl ˈmeθəd [美]ˈfɔrməl ˈmɛθəd
形式方法
[例句]Being a formal verification method ,model checking is used frequently in hardware and software design.
模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用.