Innovative Formal Verification Technology.

Heuristic Theorem Prover

The Heuristic Theorem Prover is aimed at solving theorems in the
SMT-Modulo class of problems.  This web site provides basic
information about the Heuristic Theorem prover's patented algorithms,
data showing the system's performance on a standard library of
testbenches and information on how to obtain an evaluation copy.

Some day this website will contain the home page for a company that
sells commercial products based on HTP.  Until then, it is being used
as the primary repository of information related to HTP.

Contact Information

HTP developer

Kenneth Roe

 

Telephone

(650) 269-0730
(650) 261-1960

 

Electronic mail

General Information: kendroe@fordocsys.com

 

Kenneth Roe's resume

Send mail to webmaster@fordocsys.com with questions or comments about this web site.
Last modified: 02/21/06