The process of checking whether claims, proofs, or experimental results are correct and logically sound.