partial order reduction的意思|示意

偏序归约 偏序归约 偏序归约（partial order reduction）是解决基于并发异步模型交替执行导致的 状态爆炸提出的一种重要技术。

偏序规约 ...消减算法搜索的状态数，常用的方法有符号化模型检测 （symbolicmodel—checking）”3’14J、偏序规约（partial order reduction）［151、组合验证 知识水坝为您提供优质论文 命题投影时序逻辑的可判；￡性 （compositoinalverification）㈣和抽象（abstractjon...

技术 偏序归约技术（Partial Order Reduction）是一种可以解决由于并发异步模型 交替执行所引起的状态空间爆炸问题的重要技术【冽。

约技术 偏序归约技术（Partial Order Reduction）是一种可以解决由于并发异步模型 交替执行所引起的状态空间爆炸问题的重要技术【冽。