D 2002

YAHODA: verification tools database

CRHOVÁ, Jitka, Pavel KRČÁL, Jan STREJČEK, David ŠAFRÁNEK, Pavel ŠIMEČEK et. al.

Základní údaje

Originální název

YAHODA: verification tools database

Autoři

CRHOVÁ, Jitka (203 Česká republika), Pavel KRČÁL (203 Česká republika), Jan STREJČEK (203 Česká republika), David ŠAFRÁNEK (203 Česká republika, garant) a Pavel ŠIMEČEK (203 Česká republika)

Vydání

Brno, Proceedings of Tools Day, s. 99-103, 2002

Nakladatel

FI MU

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

20206 Computer hardware and architecture

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Kód RIV

RIV/00216224:14330/02:00006433

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

formal verification

Štítky

Příznaky

Mezinárodní význam
Změněno: 27. 11. 2006 15:12, prof. RNDr. Jan Strejček, Ph.D.

Anotace

V originále

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.

Návaznosti

GA201/00/1023, projekt VaV
Název: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Grantová agentura ČR, Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
MSM 143300001, záměr
Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů