Verifikasi bahwa keadaan saat ini objek memenuhi programmer-didefinisikan sifat invarian dari kelasnya.
(Indonesia)