YAHODA: verification tools database

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

CRHOVÁ Jitka KRČÁL Pavel STREJČEK Jan ŠAFRÁNEK David ŠIMEČEK Pavel

Year of publication 2002
Type Article in Proceedings
Conference Proceedings of Tools Day
MU Faculty or unit

Faculty of Informatics

Citation
Web FI MU Report Series
Field Computer hardware and software
Keywords formal verification
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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.