Zlepšení výkony testování protokolů chování

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F05%3A00000541" target="_blank" >RIV/00216208:11320/05:00000541 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Performance Improvements of Behavior Protocol Checking

Popis výsledku v původním jazyce

One of the serious problems of model checking is the state explosion problem. It hinders the use of model checking methods as everyday debugging tool. In this paper, we propose new state identification technique based on bitfields that has significantlydecreased both time and memory requirements of behavior protocol checking.

Název v anglickém jazyce

Performance Improvements of Behavior Protocol Checking

Popis výsledku anglicky

One of the serious problems of model checking is the state explosion problem. It hinders the use of model checking methods as everyday debugging tool. In this paper, we propose new state identification technique based on bitfields that has significantlydecreased both time and memory requirements of behavior protocol checking.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GD201%2F05%2FH014" target="_blank" >GD201/05/H014: Collegium Informaticum</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2005

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 WDS'05

ISBN

80-86732-59-2

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

25-30

Název nakladatele

MATFYZPRESS

Místo vydání

Prague

Místo konání akce

Prague

Datum konání akce

1. 1. 2005

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

CST - Celostátní akce

Kód UT WoS článku

—