| Identifikační kód |
RIV/00216224:14330/07:00019467 |
| Název v anglickém jazyce |
On Decidability of LTL+Past Model Checking for Process Rewrite Systems |
| Druh |
O - Ostatní výsledky, které nelze zařadit do žádného z definovaných druhů výsledků |
| Jazyk |
eng - angličtina |
| Obor - skupina |
I - Informatika |
| Obor |
IN - Informatika |
| Rok uplatnění |
2007 |
| Kód důvěrnosti údajů |
S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku |
2 |
| Počet tvůrců celkem |
3 |
| Počet domácích tvůrců |
3 |
| Výčet všech uvedených jednotlivých tvůrců |
Mojmír Křetínský (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5598095)
Vojtěch Řehák (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8986371)
Jan Strejček (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3978915) |
| Popis výsledku v anglickém jazyce |
The Decidability Borderline for Model Checking of LTL+Past and Process Rewrite Systems is determined. |
| Klíčová slova oddělená středníkem |
process rewrite systems; LTL; infinite-state; model-checking; decidability |
| Stránka www, na které se nachází výsledek |
- |
| Odkaz na údaje z výzkumu |
- |