On-the-Fly算法相关论文
随着Internet的迅速发展和应用，WEB应用已经渗透到国计民生的各个领域。相比一般传统软件，WEB应用具有更高的质量需求。WEB应用本身......
随着网络及其技术的迅速发展，WEB应用被广泛应用于国计民生的各个领域。与此同时，随着需求量与应用领域的不断扩大，对WEB应用的正确性......
以带有多个可接受条件的广义Büchi自动机为研究对象,提出基于启发式NDFS的模型检测新算法.该算法结合on-the-fly算法与启发式NDFS......
基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测.对标准Büchi自动机作判空检测,容易引起状态爆......
