Partial Order Reduction for State/Event LTL

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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
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	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