Proof Engineering

REFACTOR under construction

Our definition of Proof Engineering is as the body of techniques conerned with the construction, maintenance, and understanding of large formal proof texts. Primarily we are interested in proof texts that are constructed manually and interactively in theorem proving systems. Proof texts in such systems have a lot in common with programs, and we want to research, apply and extend some successful techniques from Software Engineering to proof development.

We have several research projects planned in this area. The vehicle for supporting the research is the ProofGeneralKit framework.

Topic revision: r5 - 15 Nov 2006 - 13:33:59 - DavidAspinall
 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies