Tecton Proof System

Abstract

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)

Topics

Figures and Tables

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

Slides referencing similar topics