14、数据系统的模型检查技术与性能分析

数据系统模型检查与性能优化

github5actions

于 2025-09-12 09:14:27 发布

阅读量7

点赞数

CC 4.0 BY-SA版权

分类专栏：形式化方法在分布式系统中的应用文章标签：模型检查性能分析 CWB-RT

本文链接：https://blog.youkuaiyun.com/github5actions/article/details/154459580

69 篇文章 ¥499.90

订阅专栏¥69.90

数据系统的模型检查技术与性能分析

在系统规格和属性验证方面，不同的模型检查工具表现各异。这里主要对比了 CWB - RT、Kronos、UPPAAL 以及 RED 5.3 等工具在不同案例中的性能。

示例	CWB - RT	Kronos	UPPAAL 2.5i.2	UPPAAL 3.4.7 (-b)	UPPAAL 3.4.7 (-d)	RED 5.3 (forward)	RED 5.3 (backward)
MUX - 14 - e	1.32s	O/M	O/M	O/M	O/M	O/M	O/M
MUX - 16 - e	13.00s	O/M	O/M	O/M	O/M	O/M	O/M