2023年4月5日
作业10 形式化方法和阅读
摘要： 1.什么是形式化方法？ 形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。 形式化方法 阅读全文
posted @ 2023-04-05 15:47 用户324323 阅读(66) 评论(0) 推荐(0)