Partial Order Reduction for State/Event LTL
| Authors | |
|---|---|
| Year of publication | 2008 |
| Type | Research report |
| MU Faculty or unit | |
| web | FIMU Technical Reports URL |
| Description | The paper introduces a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of stuttering equivalence which we call state/event stuttering equivalence. The positive attribute of the equivalence is that it can be resolved with existing methods for partial order reduction. State/event LTL properties are, in general, not preserved under state/event stuttering equivalence. To this end we define a new logic, called weak state/event LTL, which is invariant under the new equivalence. |
| Related projects: |