Theorem Proving System

Known as: TPS, TPS (Theorem Proving System)

The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

ProofPeer strives to be a system for cloud-based interactive theorem proving. After illustrating why such a system is needed, the…

2006

Introduction Topic of this talk: What sorts of challenges do we face in making our theorem prover useful in practice? Automated…

2002

Microprocessor verification has become increasingly challenging with the use of optimizations such as out-of-order execution…

2000

We introduce a Hoare-style calculus for a nearly full subset of sequential Java, which we call Java. In particular, we present…

1998

Different libraries of problem-solving methods have been described in the past few years. But they have mostly been defined at an…

1997

So little evaluation has been carried out on user interfaces to theorem provers that even the question of what should be…

1996

Because Cryptographic Protocols (CPs) are similar to computer programs, techniques for program verification are applicable to…

1996

A real time implementation for allocating slack to aperiodic processes in MetaH is nearing comple tion The slack scheduling…

1995

To prove the termination of a functional program there has to be a well-founded ordering such that the arguments in each…

1993