Tool Support for Proof Engineering

0Citations
Citations of this article
16Readers
Mendeley users who have this article in their library.

Abstract

Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the programmer in understanding legacy code and making coordinated changes across large parts of a program. Similar tools incorporated into an integrated proof environment (IPE) would assist proof developers in understanding and manipulating the increasingly larger proofs that are being developed. In this paper we propose some tools and techniques developed for software engineering that we believe would be equally applicable in proof engineering. © 2007 Elsevier B.V. All rights reserved.

Cite

CITATION STYLE

APA

Mulhern, A., Fischer, C., & Liblit, B. (2007). Tool Support for Proof Engineering. Electronic Notes in Theoretical Computer Science, 174(2), 75–86. https://doi.org/10.1016/j.entcs.2006.09.023

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free