Další formáty:
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Á a 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, s.~307-321. ISBN~978-3-642-00254-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-00255-7\_{}21.
|