Don´t underestimate the use of formal methods. How to make more out of your existing IN

In daily business one can hear very often that the usefulness of formal methods is denied. They are said to be too complex, too difficult, or it takes too long to understand them. We show that formal methods can be helpful, and that their usage can be very easy when they are furnished with an appropriate user interface. The work presented in this paper is partly based on a cooperation between Deutsche Telekom and Aarhus University. We first introduce the problem area and present motivation, objectives and scope of our work. Next we present the tool developed, followed by a presentation of the visualisation interface which was designed to ease the use of the model. One example of how the model can be used for the kind of studies it allows is given