Acid formation and condensation is a major concern for CO2 pipeline operators. Impurities in the CO2-rich stream may react and form acids that can cause severe corrosion. Operators need to understand the conditions that may lead to acid formation to specify operating conditions. A new tool based on classical thermodynamics for determining these conditions has been developed. A single-phase Gibbs energy minimization algorithm was developed for determining speciation in the CO2-rich phase, and an acids solubility model was developed to determine when these conditions may result in acids dropout. This model compared favorably to data in the open literature.