The Tecton Proof System is an experimental tool for constructing proofs of rst order logic formulas and of program speciications expressed using formulas in Hoare's axiomatic proof formalism. It is designed to make interactive proof construction easier than with previous proof tools, by maintaining multiple proof attempts internally in a structured formâ€¦Â (More)

Sorry, we couldn't extract any figures or tables for this paper.

Showing 1-10 of 32 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential