YAHODA: verification tools database

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F02%3A00006433" target="_blank" >RIV/00216224:14330/02:00006433 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

YAHODA: verification tools database

Original language description

We present a web server YAHODA, which is designed to provide unified information about currently available verification tools. The server software allows the tools developers to insert and maintain the information about their tools by their own. In the paper we describe the organization of the database, its main features, and the maintenance of the repository.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA201%2F00%2F1023" target="_blank" >GA201/00/1023: Algorithms and tools for practical verification of concurrent systems</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2002

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 Tools Day

ISBN

—

ISSN

—

e-ISSN

—

Number of pages

5

Pages from-to

99

Publisher name

FI MU

Place of publication

Brno

Event location

24. 8. 2002, Brno, Czech Republic.

Event date

Jan 1, 2002

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—