Members contributing to, or shipping products based on TPTP

  • froglogic GmbHfroglogic is the vendor of Squish, the automated GUI testing tool for applications based on Java SWT/RCP and Java AWT/Swing.
  • IBMRational software from IBM helps organizations create business value by improving their software development capability.
  • Intel CorporationIntel is a global provider of software products, professional services, technical expertise and resources.