Partial Order Reduction for State/Event LTL

Warning

This publication doesn't include Institute of Computer Science. 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
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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info