PROOF TOOLS

Authors

Annette Bunker, Brigham Young University

Keywords

mathematical proof techniques, computer systems, proof tools, HOL88

College

Physical and Mathematical Sciences

Department

Computer Science

Abstract

The field of formal methods uses mathematical proof techniques to help ensure the reliability of computer systems. These proofs are complex enough to warrant the use of a proof tool. Proof tools assist system designers by enforcing logical rules. But in order to reason about designs, we must build a representation of the design within the proof tool.

Recommended Citation

Bunker, Annette (2013) "PROOF TOOLS," Journal of Undergraduate Research: Vol. 2013: Iss. 1, Article 2658.
Available at: https://scholarsarchive.byu.edu/jur/vol2013/iss1/2658