Formal Methods > Higher-Order Logic Theorem Provers

Directory > Science > Computer Science > Formal Methods > Higher-Order Logic Theorem Provers

INSIDE YAHOO!


Join a Chat Headline News	Weather

SITE LISTINGS

Alphabetical | By Popularity

Application Specific Higher Order Logic Theroem Proving (PDF) - Academic paper, the aim of which is to provide experimental results that compare the performance of the tool discussed on large scale hardware exmaples. PDF file.
First-Order Proof Tactics in Higher-Order Logic Theorem Provers - Paper evaluating the effectiveness of first-order proof procedures when used as tactics for proving subgoals in a higher-order logic interactive theorem prover.
HOL: The Higher Order Logic Theorem Prover - Paper detailing the HOL, a tool used for assisting in the specification and verification of digital hardware.
Interactive Theorem Proving in Higher-Order Logic (PDF) - Outlines the associated paradoxes, functions, and tactics.
WWW Virtual Library: HOL Theroem Prover - Document contains some pointers leading to information on the HOL mechanical theorem proving system, based on Higher Order Logic.

SPONSOR RESULTS (Become a Sponsor)

SPONSOR RESULTS

Directory > Science > Computer Science > Formal Methods > Higher-Order Logic Theorem Provers