Tool Support for Proof Engineering

  • Anne Mulhern | University of Wisconsin at Madison

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 talk, we propose some tools and techniques developed for software engineering that we believe would be equally applicable in proof engineering.

Speaker Details

Anne Mulhern is a graduate student at the University of Wisconsin at Madison. http://www.cs.wisc.edu/~mulhern/

    • Portrait of Jeff Running

      Jeff Running

Watch Next