There are different thermodynamic models that have been applied for modeling of asphaltene precipitation due to various reasons, such as CO 2 injection, mixing of different oils in oil storage and pressure changes. In this work, two computer codes which are based on two different asphaltene precipitation thermodynamic models, 1-Thermodynamic Micellization Model and 2-Solid Model, have been developed, and, used for predicting of asphaltene precipitation data reported in the literature as well as the experimental data obtained from high pressure high temperature asphaltene precipitation experiments performed on Sarvak reservoir crude, one of potentially problematic Iranian heavy oil reserves, under CO 2 injection condition. The model parameters obtained from sensitivity analysis as well as various characterization methods, were applied in the thermodynamic models. The developed computer code of solid model is able to predict the asphaltene precipitation data under gas/solvent injection condition with a close agreement. Especially, for the maximum value of asphaltene precipitation and for the trend of the curve after the peak point, good agreements were observed which could rarely be found in the available literature. It has been observed that the thermodynamic micellization model, which is more complex than solid model, is able to predict the trend of the asphaltene precipitation curve for gas titration condition reasonably well. Also, its predictions matched well with more experimental data points in comparison to the solid model predictions.