Proof checking

From Wikipedia, the free encyclopedia

Proof checking is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning.

[edit] See also

• Model checking
• Abstract interpretation
• Static code analysis
• Automated theorem proving
• Symbolic computation
• Computer-aided proof
• Formal verification
• Model checking