Yahoda – The Database of Verification Tools – Discontinued

Unfortunately, the project has been discontinued, and the data are no more available.