The difficulty of designing such tools in EOO modeling environments is linked to the difficulty of mapping simulation form to the model sources. Furthermore; debugging of complex models consisting of over thousand equations by traversing each equation may be very ineffective; especially when the fault has multiple and not very evident causes.
A model reduction methods is proposed and discussed as a method of verification. With model reduction methods it is possible to identify the most important parts of the model which have contributed to the specific model behavior. Because model reduction can be performed on original model representation; the difficulty of mapping simulation form back to model source is avoided.
Keywords: verification; debugging of EOO models; verification by model reduction