Noun
typechecking (uncountable) (computing) The process of verifying whether a given value belongs to a certain data type.