Correlations between experiments and simulations for formic acid oxidation