反例引导的抽象精化相关硕士博士期刊学术论文 - 信丰网

反例引导的抽象精化相关论文

构件组合的抽象精化验证

针对构件组合的状态爆炸问题，改进了反例引导的抽象精化框架，提出了组合式的抽象精化方法，使构件组合的模型检验转化为各成分构件的局......

期刊

构件组合模型检验状态爆炸等价关系反例引导的抽象精化 component composition model checking state explo

Web应用的验证与测试方法研究

Internet的普及以及分布式计算、基于构件的开发和Web Services等技术的迅速发展和应用使Web应用渗透到国计民生的各个领域。Web应......

学位

Web应用形式验证基于模型检验的测试构件组合反例引导的抽象精化

看过本文同时还关注