Performance Improvements of Behavior Protocol Checking

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Performance Improvements of Behavior Protocol Checking

Original language description

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.

Czech name

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

Czech description

Jedním z vážných problémů metody 'model checking' je 'state explosion' problém, který zabraňuje použití této metody pro běžné ladící nástroje. Navrhujeme proto novou metodu identifikace stavů založenou na bitových polích, která významným způsobem sníží nároky na výpočetní čas i paměť potřebné pro testování protokolů chování.

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

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

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2005

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

ISBN

80-86732-59-2

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

25-30

Publisher name

MATFYZPRESS

Place of publication

Prague

Event location

Prague

Event date

Jan 1, 2005

Type of event by nationality

CST - Celostátní akce

UT code for WoS article

—