Other formats:
BibTeX
LaTeX
RIS
@inproceedings{825059,
author = {Beneš, Nikola and Brim, Luboš and Černá, Ivana and Sochor, Jiří and Vařeková, Pavlína and Zimmerová, Barbora},
address = {Berlin / Heidelberg, Germany},
booktitle = {Proceedings of the International Conference on Integrated Formal Methods (IFM'09)},
doi = {http://dx.doi.org/10.1007/978-3-642-00255-7_21},
keywords = {Partial order reduction; state/event LTL; formal verification},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Berlin / Heidelberg, Germany},
isbn = {978-3-642-00254-0},
pages = {307-321},
publisher = {Springer Verlag},
title = {Partial Order Reduction for State/Event LTL},
year = {2009}
}
TY - JOUR
ID - 825059
AU - Beneš, Nikola - Brim, Luboš - Černá, Ivana - Sochor, Jiří - Vařeková, Pavlína - Zimmerová, Barbora
PY - 2009
TI - Partial Order Reduction for State/Event LTL
PB - Springer Verlag
CY - Berlin / Heidelberg, Germany
SN - 9783642002540
KW - Partial order reduction
KW - state/event LTL
KW - formal verification
N2 - 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.
ER -
BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Partial Order Reduction for State/Event LTL. In \textit{Proceedings of the International Conference on Integrated Formal Methods (IFM'09)}. Berlin / Heidelberg, Germany: Springer Verlag, 2009, p.~307-321. ISBN~978-3-642-00254-0. Available from: https://dx.doi.org/10.1007/978-3-642-00255-7\_{}21.
|
