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.