. Their expansion is done by clicking on the column title.
Welcome to Yahoda!
YAHODA provides well-organized and up-to-date collection of tools that assist in formal verification of computer systems.
In particular, the emphasis is on model checking and equivalence checking tools tools and theorem provers.
YAHODA is maintained by the ParaDiSe laboratory at the Faculty of Informatics, Masaryk University Brno.
The main features of YAHODA are:
How to add a new tool
To add a new tool the developer has to register first by completing the registration form. After registration the tool developer gets the privileged access to the database that allows to add the information about the tool.
How to browse the database
The list of all tools currently maintained in YAHODA is available in the
Tools Table.
The table consists of several columns specifying the main features of each tool.
Some of the columns can be expanded to give you more detailed information. These columns are marked with . Their expansion is done by clicking on the column title.
The complete information about a particular tool is available by clicking on the tool name in the first column.
The meaning of the symbols used in the table is the following:
- the tool has the
feature
- the tool has the feature and
additional information
is displayed, when the cursor is over
the icon (if supported by the browser)
- reference (e.g. e-mail or web
site)
How to search for tools
YAHODA offers an easy-to-use method of record filtering. The filtering query can be set by clicking on the column titles. The default AND condition can be changed to OR condition by clicking on the AND icon. The query is displayed at the top of the page.
The column conditions can be removed by clicking on the column titles again.
How to maintain records
The registered users can maintain their own records by clicking on the "Edit Records" button after logging in YAHODA.
Contact
For questions and queries
contact
the YAHODA team - 
.
| |
| Last Modification: 14. 9. 2011 13:13:52 | Visits: 0 |