Mathematical modeling is an important method to study and research for the dynamic of viral infection in mathematical biology. The aim of this article is to study the global dynamic of HIV virus infection model with Crowley-Martin functional response and give the results by using Lyapunov’s second method and LaSalle’s invariance principle. We derive the basic reproduction number R0 and prove the global stability of rest points of system when R0 ≤ 1, R0 > 1, respectively.
