The paper develops a new method to energetically solve the verification problem in redundant systems. The geometrical conditions of over constrained mechanism can be verified based on C++. Bennett linkage is used as the basic model to explain the way in verifying geometrical conditions. The main ideal is to optimize the potential energy of the system during its moving cycle. The kinetic and potential energy analysis is based on simulation of the elastic model. And the flexible body modeling method is introduced during the simulation. Quasi-Perfect Bennett mechanism is modeled with an alternative modeling environment on higher flexibility due to the kinematic constraints by elastic forces. The understanding of simulation and optimization method based on C++ in parameters verfication of redundant systems, therefore openning the new way to search for more redundant mechanisms which is movable.