Electrochemical reduction of carbon dioxide has been widely studied by many scientists and researchers. Recently, the production of formic acid, which is expensive but highly useful liquid material, is receiving a great attention. However, difficulties in the electrochemical reduction process and analyzing methods impede the researches. Therefore, it is important to design an adequate system, develop the reduction process and establish the analyzing methods for carbon dioxide reduction to formic acid. In this study, the production of formic acid through electrochemical reduction of carbon dioxide was performed and concentration of the product has been analyzed. Large scale batch cell with proton exchange membrane was used in the experiment. The electrochemical experiment has been performed using a series of metal catalysts. Linear sweep voltammetry (LSV) and chronoamperometry were performed for carbon dioxide reduction and electrochemical analysis using silver chloride and platinum electrode as a reference electrode and counter electrode, respectively. The concentration of formic acid generated from the reduction was monitored using high performance liquid chromatography (HPLC). The results validate the appropriateness and effectiveness of the designed system and analyzing tool.