-
绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导
2022年9月22日上午,绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导,迪捷软件副总经理田娜及相关部门负责人出席接待。
2022-09-23 digiproto
-
初探形式化方法基本原理
1.形式化方法基本概念形式化方法是基于严格的数学基础,通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证,是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理,其主要涵盖以下几个研究方向:定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格
2022-08-01 digiproto