投影时序逻辑相关论文
随着Web服务应用的迅速发展,安全问题已成为制约其实际应用的障碍之一,而Web服务提供方的安全问题尤为重要。本文首先简要的介绍了......
Petri网是集图形化表示和数学理论于一体的建模语言，可以描述常见的顺序、选择、循环和并行等行为，广泛应用于并发分布式系统的建模......
随着计算机和互联网技术的快速发展，各种软、硬件系统已经广泛渗透到人类生产和生活中，如何保证计算机系统严格按照人类设计的方式进......
实时系统经常被用在飞机、军事以及交通控制等安全攸关的领域，因此保证其正确性和安全性至关重要。建模、仿真及验证语言（MSVL）是一种......
基于时序逻辑模型检测的入侵检测技术降低了误用检测的漏报率,然而却几乎不能描述并发攻击和分段攻击,因而对这些复杂的攻击模式漏......
随着Web服务应用的迅速发展，Web服务提供方的安全问题已成为制约其实际应用的主要障碍之一。文中着重讨论了Web服务提供方面临的安......
针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征，对投影时序逻辑进行了扩展，并用扩展投影时序逻辑描述和验证组合W......
为了满足Web服务的可靠性，利用投影时序逻辑的模型检测方法来验证Web服务．利用投影时序逻辑的一个可执行子集对OWL-S进行建模，用命题......
针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑（PTL）的定理证明方法来验证进程调度.使用PTL......
为采用定理证明的方法对并发及交互式系统进行验证，研究了有穷论域下有穷时间一阶投影时序逻辑（projection temporal logic，简称PTL）的......
本文提出对寄存器传送语言（RTL）描述的数字系统运用投影时序逻辑进行形式化描述并验证的方法。通过使用投影时序逻辑对RTL的形式语义......
目的为了解决形式化验证时需要分别使用不同工具进行系统建模和性质描述的问题。方法利用投影时序逻辑PTL（projection temporal log......
为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统．利用投影时序逻辑既可描述待验证系统性质和......
多核并行计算在提高系统计算能力和吞吐量的同时，对系统测试也提出了更加严格的要求，如何保障系统正确性已成为计算机领域的前沿课题......
基于区间的时序逻辑,如区间时序逻辑(ITL)和投影时序逻辑(PTL),在并发系统的规范与验证方面有着重要的应用价值。然而,当前基于区......
本文讨论从状态图到PTL形式规范的转化方法.状态图是描述系统行为的半形式化的图形工具,但缺少精确的形式语义,PTL(投影时序逻辑)......
随着大规模集成电路技术和EDA技术的发展，片上系统(SoC)成为嵌入式系统的发展方向。片上系统带来了一些技术上的问题，对设计正确性的......
在嵌入式系统和各类操作系统中,中断机制是确保实时响应各类异步事件的重要方法.通常在处理一个中断事件的过程中,往往会有更紧迫......
