7、LTL与ACTL合成问题的研究

人间清醒863

于 2025-06-17 09:11:03 发布

阅读量5

点赞数

CC 4.0 BY-SA版权

分类专栏：解读《计算机辅助验证》：理论与实践文章标签： LTL合成 ACTL合成反应式系统

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.youkuaiyun.com/gpu4optimizer/article/details/149029763

解读《计算机辅助验证》：理论与实践专栏收录该内容

20 篇文章 ¥399.00 ¥499.90

订阅专栏

超级会员免费看

LTL与ACTL合成问题的研究

1. 引言

从功能规范中合成反应式系统是一项极具挑战性的任务。它不仅结合了系统在模型检查后获得的正确性保证的优势，还跳过了手动构建所需系统的繁琐步骤

了解本专栏

超级会员免费看

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。