状态空间爆炸问题相关论文
当今,各行各业都存在着并发系统,如资源分配系统、机器人系统、网络通信系统、交通控制系统等。Petri网作为一类形式化的建模工具,......
针对参数化系统验证的状态空间爆炸问题，本文提出自动抽象方法化简参数化系统状态空间。首先，进行Y-抽象建立单进程状态机模型，然......
基于使用模型的统计测试是软件可靠性评估的重要手段,软件使用模型是进行软件可靠性测试的基础.目前由UML模型生成软件的使用模型......
模型检测技术在安全协议验证领域取得了很大成果，但是存在状态空间爆炸问题。已经提出的小系统理论从理论上有效地解决了这个问......
针对参数化Cache一致性协议状态空间爆炸问题,本文提出共享集合伪临界值(pseudo-cutoff)的概念,有效优化了参数化目录Cache协议状......
随机进程代数PEPA是一种形式化语言，它通过组合化的方式来形式地描述一些分布式计算机和移动通信等并发系统，并可以用来提取和分析系......
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型.当系统中的模块比较多时,系统的整体模型有可能出现状态空间......
接口自动机是一个用来描述软构件接口的时态行为的形式模型，传统的简单组合精化检验规则由于没有考虑到环境时子任务的影响而使其实......
