Publication details
Partial Order Reduction for State/Event LTL
| Basic information | |
|---|---|
| Original title: | Partial Order Reduction for State/Event LTL |
| Authors: | Nikola Beneš, Luboš Brim, Ivana Černá, Jiří Sochor, Pavlína Vařeková, Barbora Zimmerová |
| Further information | |
|---|---|
| Citation: | BENEŠ, Nikola  - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora. Partial Order Reduction for State/Event LTL. In Proceedings of the International Conference on Integrated Formal Methods (IFM'09). Berlin / Heidelberg, Germany : Springer Verlag, 2009. ISBN 978-3-642-00254-0, pp. 307-321. 16.2.2009, Düsseldorf, Germany. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| Keywords: | Partial order reduction; state/event LTL; formal verification |
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:
- Techniques for automatic verification and validation of software nad hardware systems
- Realistic application of formal methods in component systems
- Highly Parallel and Distributed Computing Systems
