线性时间属性相关论文
计算机软、硬件系统的安全可靠影响着社会各领域的发展,进而人们提出了形式化验证技术,为系统设计的正确性提供保障。在形式化验证......
针对加权迁移系统,提出了线性时间属性及其安全性检测。首先定义了半环K上的加权迁移系统,提出了加权线性时间属性概念,并根据权重......
近年来,计算机系统的定量验证已经引起了学术界和工业界足够的关注,其中取值于度量空间的系统性质研究为定量验证的发展开辟了一条......
模型检测是一种很重要的自动验证技术.1981年,由Clarke和Emerson以及Quielle和Sifakis最早提出,它主要通过状态搜索或不动点计算来......
