A method for structural analysis and correction of a system of differential equations described by a computer language is disclosed. A description of a physical system (in the form of equations, in particular differential equations) as a computer program in a computer system is included. Suitable bipartite graphs for examining the solubility of the equations are generated with the method. Erroneous descriptions can be determined and can possibly be corrected with the bipartite graphs. A computer system containing a computer-readable medium having computer-executable instructions for performing the method, and a corresponding data carrier are disclosed.
展开▼