组合可达性分析相关论文
在分布式并发系统构造过程中,基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。但并发......
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型.当系统中的模块比较多时,系统的整体模型有可能出现状态空间......
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题.对此提出了基于假定状态约减验证......
接口自动机是一个用来描述软构件接口的时态行为的形式模型,传统的简单组合精化检验规则由于没有考虑到环境时子任务的影响而使其实......