YAHODA: verification tools database

• 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
• 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

• Algorithms and tools for practical verification of concurrent systems.
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing