Partial Order Reduction for State/Event LTL
| Authors | |
|---|---|
| Year of publication | 2009 |
| Type | Article in Proceedings |
| Conference | Proceedings of the International Conference on Integrated Formal Methods (IFM'09) |
| MU Faculty or unit | |
| Citation | |
| Doi | http://dx.doi.org/10.1007/978-3-642-00255-7_21 |
| Field | Informatics |
| Keywords | Partial order reduction; state/event LTL; formal verification |
| Attached files | |
| Description | The main contribution of the paper is a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of sttuttering equivalence which we call state/event stuttering equivalence. |
| Related projects: |