状态空间爆炸问题相关论文
当今,各行各业都存在着并发系统,如资源分配系统、机器人系统、网络通信系统、交通控制系统等。Petri网作为一类形式化的建模工具,......
随机进程代数PEPA是一种形式化语言，它通过组合化的方式来形式地描述一些分布式计算机和移动通信等并发系统，并可以用来提取和分析系......
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型.当系统中的模块比较多时,系统的整体模型有可能出现状态空间......
接口自动机是一个用来描述软构件接口的时态行为的形式模型，传统的简单组合精化检验规则由于没有考虑到环境时子任务的影响而使其实......
