Addressing State Explosion in Behavior Protocol Verification

Result code in 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>
Alternative codes found
RIV/00216208:_____/04:#0000073
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Addressing State Explosion in Behavior Protocol Verification
Original language description
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.
Czech name
Řešení problému exponenciálního nárůstu stavového prostoru (state explosion) ve verifikaci protokolů chování (behavior protocols)
Czech description
Článek navrhuje reprezentaci automatů řešící problém exponenciálního nárůstu stavového prostoru (state explosion), při formální verifikaci protokolů. Tato reprezentace převádí paměťovou naročnost na časovou, ta je poté řešena dalšími optimalizacemi.

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

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

Article name in the collection
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
—
Number of pages
7
Pages from-to
327-333
Publisher name
International Association for Computer and Information Science (ACIS)
Place of publication
Mt. Pleasant, MI, U.S.A.
Event location
Mt. Pleasant, MI, U.S.A.
Event date
Jan 1, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)