诸如ANSYS、ABAQUS、COMSOL的通用大型仿真软件，如何保证其本身的算法实现是完全正确的？

诸如ANSYS、ABAQUS、COMSOL的通用大型仿真软件，如何保证其本身的算法实现是完全正确的？最近开始接触有限单元法、有限体积法之类的背后原理，感觉如果将这些算法用计算机语言一点点实现出来还是有挺大的工作量的，像ANSYS、ABAQUS、COMSOL这类大型通用有限元仿真软件的代码量肯定也不小，而且用户也看不到具体的实现细节，开发者能否保证算法的代码实现没有问题？存不存在实现算法的过程中出现小错误的可能？...