YAHODA: verification tools database

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	CRHOVÁ Jitka KRČÁL Pavel STREJČEK Jan ŠAFRÁNEK David ŠIMEČEK Pavel
Rok publikování	2002
Druh	Článek ve sborníku
Konference	Proceedings of Tools Day
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	FI MU Report Series
Obor	Počítačový hardware a software
Klíčová slova	formal verification
Popis	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.
Související projekty:	Algoritmy a nástroje pro praktickou verifikaci souběžných systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů