计算树逻辑相关论文
计算树逻辑（Computation Tree Logic,CTL）模型检测是形式化方法研究的热点,是保证系统正确性的重要手段之一。DNA计算是以DNA分子和......
嵌入式系统的安全性不仅取决于系统硬件的稳定性,而且与系统功能实现代码有密切关系。在一些复杂的嵌入式系统中,嵌入式系统硬件上......
可编程逻辑控制器（Programmable Logic Controller，PLC）是工业自动化的一种重要的控制装置，在一些安全苛求的行业中（例如在交通、电力和......
混合系统主要研究由连续性子系统和离散性子系统相互作用而构成的一类动态系统。连续性子系统和离散性子系统二者相互作用,使系统......
如何从协议规范出发生成满足一定覆盖标准的测试序列和测试套是协议一致性测试中的一个核心问题，现有的协议一致性测试序列和测......
网络的最大特点是共享,相伴产生的安全问题也成为人们不得不面对的问题,特别是用来保证信息传输安全的网络安全协议的安全性显得尤......
为了解决复杂计算机系统的验证问题,确保系统的正确性与可靠性,人们提出了模型检测方法.该方法于1981年首次被Clark和Emerson提出,......
随着计算机软硬件体系的发展,能够确保其安全、可靠的形式化验证成为研究热点。其中,模型检测作为一种用来验证有限状态系统是否满......
混合系统是连续动态过程和离散事件动态过程并存,且相互影响、相互作用的一类动态系统。八十年代后期,随着微型计算机、大型通讯网......
摘要：安全计算机平台是轨道交通信号控制系统的核心基础安全设备,通过测试来检验安全计算机平台是否能实现设计的安全功能是至关重......
如何有效的对SoC设计进行验证已经成为缩短设计周期的关键问题.针对这个问题,本文提出一种形式化建模与验证方法,对片上系统AMBA工......
