回溯集相关论文
针对并发程序路径分支多、状态空间大导致并发错误检测时间长且效率低下的问题,在动态偏序化简算法的理论基础上,提出一种分布式的......
在验证多线程并发程序时,将基于无状态或有状态搜索的软件模型检测与动态偏序归约方法相结合,能大幅缩减待验证程序的状态空间,而......
