Definition, synonyms and related words
A system or algorithm that verifies values against their required data types.