verit Informationssysteme GmbH has just recently joined the Eclipse Foudation as a Solution Member.
The Kaiserslautern, Germany based company develops software for Java and Eclipse and is renown as an expert for quality assurance and testing of software systems.
In addition, verit GmbH offer tools to support test automation and test management: While PETA is testing on the protocol-level, KLAROS can be used for test data acquisition and analysis.
In addition, verit engineers have just become an active contributor to TPTP.
We look forward to having verit participating in the Eclipse Eco System.