On-the-Fly算法相关论文
随着Internet的迅速发展和应用,WEB应用已经渗透到国计民生的各个领域。相比一般传统软件,WEB应用具有更高的质量需求。WEB应用本身......
随着网络及其技术的迅速发展,WEB应用被广泛应用于国计民生的各个领域。与此同时,随着需求量与应用领域的不断扩大,对WEB应用的正确性......
以带有多个可接受条件的广义Büchi自动机为研究对象,提出基于启发式NDFS的模型检测新算法.该算法结合on-the-fly算法与启发式NDFS......
基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测.对标准Büchi自动机作判空检测,容易引起状态爆......
基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测.对标准Bachi自动机作判空检测,容易引起状态爆炸.......
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演......
以广义Büchi自动机为研究对象,对其作判空检测能为解决系统的状态空间爆炸问题提供有效途径.但广义Büchi自动机难以适用于安全苛......