Partial order reduction computer (1 résultats)

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. In computerscience, partial order reduction is a technique for reducing the size ofthe state-space to be searched by a model checking algorithm. Itexploits the commutativity of concurrently executed transitions, whichresult in the same state when executed in different orders.In explicitstate space exploration, partial order reduction usually refers to thespecific technique of expanding a representative subset of all enabledtransitions. This technique has also been described as model checkingwith representatives (Peled 1993).…