Other formats:
BibTeX
LaTeX
RIS
@misc{776295,
author = {Beneš, Nikola and Brim, Luboš and Černá, Ivana and Sochor, Jiří and Vařeková, Pavlína and Zimmerová, Barbora},
address = {Brno, Czech Republic},
keywords = {Partial order reduction; state/event LTL; formal verification},
language = {eng},
location = {Brno, Czech Republic},
publisher = {Faculty of Informatics, Masaryk University},
title = {Partial Order Reduction for State/Event LTL},
url = {http://www.fi.muni.cz/reports/},
year = {2008}
}
TY - GEN
ID - 776295
AU - Beneš, Nikola - Brim, Luboš - Černá, Ivana - Sochor, Jiří - Vařeková, Pavlína - Zimmerová, Barbora
PY - 2008
TI - Partial Order Reduction for State/Event LTL
VL - Technical report FIMU-RS-2008-07
PB - Faculty of Informatics, Masaryk University
CY - Brno, Czech Republic
KW - Partial order reduction
KW - state/event LTL
KW - formal verification
UR - http://www.fi.muni.cz/reports/
N2 - The paper introduces a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of stuttering equivalence which we call state/event stuttering equivalence. The positive attribute of the equivalence is that it can be resolved with existing methods for partial order reduction. State/event LTL properties are, in general, not preserved under state/event stuttering equivalence. To this end we define a new logic, called weak state/event LTL, which is invariant under the new equivalence.
ER -
BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. \textit{Partial Order Reduction for State/Event LTL}. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2008, 21 pp. Technical report FIMU-RS-2008-07.
|
