Oslabení podmínky na cykly zlepšující redukci pomocí reprezentantů

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F07%3A00019497" target="_blank" >RIV/00216224:14330/07:00019497 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Relaxed Cycle Condition Improves Partial Order Reduction

Popis výsledku v původním jazyce

Partial order reduction is a method widely used for tackling the state space explosion problem. In this paper we focus on a theoretical refinement of a particular instance of the partial order reduction which is nowadays an inherent part of most tools for explicit state model checking of Linear Temporal Logic. This particular instance is represented as a set of conditions C0 through C3 which describe valid reductions of a state space. We propose a hierarchy of alternatives to the cycle condition C3. Inthis hierarchy we point out which alternatives guarantee a valid reduction with respect to LTL_X properties.

Název v anglickém jazyce

Relaxed Cycle Condition Improves Partial Order Reduction

Popis výsledku anglicky

Partial order reduction is a method widely used for tackling the state space explosion problem. In this paper we focus on a theoretical refinement of a particular instance of the partial order reduction which is nowadays an inherent part of most tools for explicit state model checking of Linear Temporal Logic. This particular instance is represented as a set of conditions C0 through C3 which describe valid reductions of a state space. We propose a hierarchy of alternatives to the cycle condition C3. Inthis hierarchy we point out which alternatives guarantee a valid reduction with respect to LTL_X properties.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)

ISBN

978-80-7355-077-6

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

140

Název nakladatele

FI MU, FIT VUT

Místo vydání

Znojmo, Czech Republic

Místo konání akce

Znojmo, Czech Republic

Datum konání akce

1. 1. 2007

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—