Partial order reduction
In computer science, partial order reduction is a technique for reducing the size of the state-space to be searched by a model checking algorithm. It exploits the commutativity of concurrently executed transitions, which result in the same state when executed in different orders.
Wikipage disambiguates
primaryTopic
Partial order reduction
In computer science, partial order reduction is a technique for reducing the size of the state-space to be searched by a model checking algorithm. It exploits the commutativity of concurrently executed transitions, which result in the same state when executed in different orders.
has abstract
In computer science, partial o ...... , andpersistent set method ().
@en
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
719,233,532
subject
hypernym
type
comment
In computer science, partial o ...... executed in different orders.
@en
label
Partial order reduction
@en