MSc Presentation: Partial-order reduction for PINS
When: March 18, 2011, 16:00-17:30
Where: CU B209
Who: Elwin Pater
Partial Order Reduction is a well known technique to handle the state space explosion, caused by the (asynchronous) composition of multiple sub-components into one global system. It reduces that state space to a smaller state space in which properties of interest are preserved. For partial order reduction, various algorithms are available in literature, but all of them rely on the notion of processes. This notion is not available in PINS, an Interface for a Partitioned Next State, used by the LTSmin model checking toolset (http://fmt.cs.utwente.nl/tools/ltsmin/). In this talk i will give a conceptual overview of the PINS interface and the technique called partial order reduction. The talk will not contain much technical details but the concepts are illustrated using very simple examples.