typechecking

Noun

 * 1)  The process of verifying whether a given value belongs to a certain data type.