偏序规约相关论文
随着人们对软硬件系统功能需求的日益增加,导致系统的规模越来越复杂,其安全性和可靠性也越来越难以得到保证。在一些关键领域,例......
基于区间的时序逻辑,如区间时序逻辑(ITL)和投影时序逻辑(PTL),在并发系统的规范与验证方面有着重要的应用价值。然而,当前基于区......
为了减少网络程序模型检测过程中产生的系统状态数目,提出了一种架构感知偏序规约方案。针对目前模型检测器JPF内置的偏序规约机制......
期刊
