YAHODA: verification tools database

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.