In this modern era of mathematical modeling, applications have become increasingly complicated. As the complexity grows, it becomes more and more difficult to draw meaningful conclusions about the behavior of theoretical models and their relations to reality. Alongside methods that emphasize quantitative properties and the testing of scientific details, there is a need for approaches that are more qualitative. These techniques attempt to cover whole families of models in one bold stroke, in a manner that allows robust conclusions to be drawn about them.

Loop analysis and...