形式化方法-一流百科

形式化方法

形式化方法在计算机科学中，形式化方法是用于软件和硬件系统的规范、开发和验证的数学上的严格的技术。在软件和硬件设计中使用形式化方法的动机是希望像其他...

词条百科

扫码分享到朋友圈