...消减算法搜索的状态数，常用的方法有符号化模型检测 （symbolicmodel—checking）”3’14J、偏序规约（partial order reduction）［151、组合验证 知识水坝为您提供优质论文 命题投影时序逻辑的可判；￡性 （compositoinalverification）㈣和抽象（abstractjon...
基于16个网页-相关网页
偏序规约
Partial order reduction
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动