A process that verifies whether the data type of a variable is consistent with the expected usage in a program.