Verification that the current state of an object satisfies the programmer-defined invariant properties of its class.