Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Akceptující předchůdci v distrubuovaném LTL ověřování modelů
Autoři	BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří
Rok publikování	2004
Druh	Odborná kniha
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Článek prezentuje nový distribuovaný algoritmus pro ověřování LTL vlastností založený na akceptujících předchůdcích. Je prezentováné několik optimalizací a experimentální výsledky
Související projekty:	Automatizovaná verifikace paralelních a distribuovaných systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů