Quantum computation is the usage of quantum mechanics to process information. It has been proven that quantum computation has the capacity to transfer data securely based on its fundamental and it solves the complex issues better than classical computation. However, before the quantum computers are available for people living, we need to verify and build up some frameworks for verification of quantum information system. In this research, we consider the MAGMA system which can be useful for quantum computation and calculation parameters of quantum stabilizer codes. Therein, we consider the problem of the first quantum error correction codes and we verify that basic algorithm on MAGMA system. The proposed system prove that MAGMA can be used for many tasks of quantum algorithms, quantum communication, and quantum computation problems.