有状态搜索相关硕士博士期刊学术论文 - 搜论网

有状态搜索相关论文

收缩候选回溯集的有状态动态偏序归约方法

在验证多线程并发程序时,将基于无状态或有状态搜索的软件模型检测与动态偏序归约方法相结合,能大幅缩减待验证程序的状态空间,而......

期刊

软件模型检测动态偏序归约有状态搜索回溯集收缩候选集 software model checking Dynamic Partial-order Redu

看过本文同时还关注