Řešení problému exponenciálního nárůstu stavového prostoru (state explosion) ve verifikaci protokolů chování (behavior protocols)

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F04%3A00003325" target="_blank" >RIV/00216208:11320/04:00003325 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216208:_____/04:#0000073
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Addressing State Explosion in Behavior Protocol Verification
Popis výsledku v původním jazyce
The article proposes a representation solving the state explosion problem in formal verification of behavior protocols. The proposed representation transforms the space complexity to time complexity, which is in turn solved by additional optimizations.
Název v anglickém jazyce
Addressing State Explosion in Behavior Protocol Verification
Popis výsledku anglicky
The article proposes a representation solving the state explosion problem in formal verification of behavior protocols. The proposed representation transforms the space complexity to time complexity, which is in turn solved by additional optimizations.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2004
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
Proceedings of the ACIS 5th ACIS International Conference on Software Engineering, Artiticial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2004)
ISBN
0-9700776-8-8
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
327-333
Název nakladatele
International Association for Computer and Information Science (ACIS)
Místo vydání
Mt. Pleasant, MI, U.S.A.
Místo konání akce
Mt. Pleasant, MI, U.S.A.
Datum konání akce
1. 1. 2004
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)