形式化方法 - 鸡米花z - 博客园

形式化方法是指使用数学方法解决软件问题，主要包括软件需求、设计、实现形式化建模和验证，具体可以理解为使用形式化语言，构建软件形式化规格描述并采用模型检测、定理证明等方法验证软件正确性。

posted on 2023-04-03 22:36 鸡米花z 阅读(30) 评论(0) 编辑收藏举报

刷新页面返回顶部

chensongbiao