Members contributing to, or shipping products based on TPTP
froglogic is the vendor of Squish, the automated GUI testing tool for applications based on Java SWT/RCP and Java AWT/Swing. Rational software from IBM helps organizations create business value by improving their software development capability. Intel is a global provider of software products, professional services, technical expertise and resources. verit Informationssysteme GmbH is a software company based in Kaiserslautern, Germany.