a well logging method that measures the time required for sound impulses to travel through a given length of rock to permit estimation of the rock porosity of a given formation and of the type of fluid contained in the rock. This process is also called sonic logging.