The atmospheric wind and temperature can be estimated through the traveltimes of infrasound between pairs of receivers. The traveltimes can be obtained by infrasonic interferometry. In this study, the theory of infrasonic interferometry is verified and applied to modeled stratospherically refracted waves. Synthetic barograms are generated using a raytracing model and taking into account atmospheric attenuation, geometrical spreading, and phase shifts due to caustics. Two types of source wavelets are implemented for the experiments: blast waves and microbaroms. In both numerical experiments, the traveltimes between the receivers are accurately retrieved by applying interferometry to the synthetic barograms. It is shown that microbaroms can be used in practice to obtain the traveltimes of infrasound through the stratosphere, which forms the basis for retrieving the wind and temperature profiles.