Partial Order Reduction for State/Event LTL

• Authors: BENEŠ Nikola; BRIM Luboš; ČERNÁ Ivana; SOCHOR Jiří; VAŘEKOVÁ Pavlína; ZIMMEROVÁ Barbora
• Year of publication: 2009
• Type: Article in Proceedings
• Conference: Proceedings of the International Conference on Integrated Formal Methods (IFM'09)
• MU Faculty or unit: Faculty of Informatics
• 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

• 2009-IFM.pdf

• 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

• 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