状态空间爆炸论文

基于SPIN的LTL属性分解方法研究
论文摘要随着信息科学技术的迅猛发展,软件被广泛应用在现代社会的各个领域,如何确保软件的安全可靠已经成为计算机科学领域共同关注的一个焦点问题。采用形式化方法对系统进行分析和验证,...
Cache一致性协议模型检验的抽象研究
论文摘要随着高性能计算机性能的不断提升、规模不断增大,Cache一致性协议变得异常复杂,协议的状态数随系统规模成指数级增长,导致状态空间爆炸。为了缓解状态空间爆炸问题对Cach...
基于随机Petri网的软件性能分析
论文摘要随着软件规模的不断扩大,软件出现故障的概率随之增大。软件故障已成为软件系统不可靠的主要来源。软件可靠性模型对于软件可靠性估测起着核心的作用。目前所提出的模型大多有着一定...