资料下载
×
基于度量线性时态逻辑与安全性综述
消耗积分:0 |
格式:rar |
大小:1.45 MB |
2021-05-10
分享资料个
近年来，计算机系统的定量验证已经引起了学术界和工业界足够的关注，其中取值于度量空间的系统性质研究为定量验证的发展开辟了一条新途径。在系统验证中常用线性时间属性来刻画系统的性质，而安全性作为线性时间属性中一类至关重要的基础属性，能保证系统在运行过程中不会发生“坏”的事情，其在度量背景下的推广形式也应该得到关注。为此，文中研究伪超度量空间上安全性的扩展问题，首先对已有的度量线性时态逻辑进行适当的补充，使其能充分地刻画度量背景下的线性时间属性;然后引入距离阈值α，提出一种α安全性的概念，从而将经典的安全性提升到伪超度量空间上;最后讨论度量线性时态逻辑与α安全性之间的关系。这些结论为取值于度量空间的系统的安全性验证提供了理论依据。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
