Publication
STOC 1970
Conference paper

An interpretation oriented theorem prover over integers

Download paper

Abstract

A special purpose theorem prover for establishing the validity of expressions over integer variables was developed as part of a program verifier. It is built around a powerful system for manipulating and simplifying integer expressions.

Date

Publication

STOC 1970

Authors

Resources

Share