Informace o publikaci
YAHODA: verification tools database
Autoři | |
---|---|
Rok publikování | 2002 |
Druh | Článek ve sborníku |
Konference | Proceedings of Tools Day |
Fakulta / Pracoviště MU | |
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: |