对系统进行建模是一个采用表格化、图形化、公式化的方式，将系统的构成及其构成间的关系呈现给人们的
2022-10-21 13:48
验证工作作为典型的形式化方法的工程化案例，应用了形式化方法的需求分析、建模与验证，由此验证了形式化方法的可行性与有效性。
2023-03-24 11:01
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communication Sequential Processes）形式化语言对其进行建模，通过LTL
2022-12-30 13:23
形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。
2023-01-30 16:42
系列简介：形式化方法在计算机和软件工程学科中作为一个学科分支，正在越来越多地进入工业界诸多实践领域。以DO-333适航标准为代表的工业标准，亦对软件开发过程明确提出了采用形式化
2022-06-10 10:49
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communication Sequential Processes）形式化语言对其进行建模，通过LTL
2023-01-04 16:12
文将聚焦于轨交领域，从领域专用的需求撰写与分析工具Prema入手，介绍形式化方法在工业中的实际应用。
2023-08-08 15:20
本文主要探讨了形式化方法在航空领域中的工业应用。航空领域作为安全攸关领域，其机载系统软件的开发有着高度复杂和严格的安全标准要求，以确保其安全可靠性。
2023-08-21 15:45
Stimulus是法国达索公司产品，其目的是通过需求建模分析来验证需求的正确性。Stimulus的核心理念是运用“自然语言”对功能性需求进行建模，并通过仿真来查找需求中的缺陷，例如需求一致性、不二
2023-12-12 16:00
