精化检验相关论文
随着互联网和电子商务技术的发展,Web服务因其能解决Internet异构平台下服务的交互重用等问题引起了广泛关注。和传统的分布式计算......
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和......
形式验证是提高软件可靠性的有效手段。为了控制形式验证特别是模型检验和精化检验的复杂性,研究人员提出了组合方法,其基水思想是......
接口自动机是一个用来描述软构件接口的时态行为的形式模型，传统的简单组合精化检验规则由于没有考虑到环境时子任务的影响而使其实......
模型检验是一种重要的自动化验证技术,基于状态遍历的思想穷举系统能够到达的所有状态,并在系统不满足指定的性质时提供反例。本文......
