Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Test & Performance Tools Platform

Known as: TPTP 
The Test & Performance Tools Platform (TPTP) is an Eclipse tool used to profile plug-ins of the IDE that may run on different platforms. TPTP is… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The monadic shallow linear Horn fragment is well-known to be decidable and has many application, e.g., in security protocol… Expand
  • figure 1
Is this relevant?
2016
2016
The approach Why3 takes to interfacing with a wide variety of interactive and automatic theorem provers works well: it is… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
2015
2015
PSOA2Prolog consists of a multi-step source-to-source normalizer followed by a mapper to a pure (Horn) subset of ISO Prolog. We… Expand
  • table 1
  • table 2
  • figure 2
Is this relevant?
Highly Cited
2012
Highly Cited
2012
This paper describes the Automated Reasoning for Mizar ($\textsf{Miz}\mathbb{AR}$) service, which integrates several automated… Expand
  • table 1
  • figure 1
Is this relevant?
2011
2011
We present a novel analysis for sorted logic, which determines if a given sort is monotone. The domain of a monotone sort can… Expand
Is this relevant?
2008
2008
This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the… Expand
Is this relevant?
2006
2006
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
  • J. Urban
  • Journal of Automated Reasoning
  • 2006
  • Corpus ID: 21315287
This paper describes the second version of the Mizar Problems for Theorem Proving (MPTP) system and first experimental results… Expand
  • table I
  • table II
  • table III
  • table IV
Is this relevant?
2005
2005
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof… Expand
  • figure 1
  • figure 2
  • figure 4
Is this relevant?