Další formáty:
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Á a Barbora ZIMMEROVÁ. \textit{Partial Order Reduction for State/Event LTL}. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2008, 21 s. Technical report FIMU-RS-2008-07.
|