Definition, synonyms and related words
The act of checking that something does not contain elementary mistakes or impossibilities, or is not based on invalid assumptions.