Making meaningful models for mere mortals

Recent advances in automated model checking have demonstrated the power and utility, of behaviour modelling and analysis. However, most attempts to convince practising software engineers to use formal models as part of their software development process have proven unsuccessful. The notations are often too difficult to learn and use, do not provide adequate tool support, do not integrate well into the software development process or are too difficult for users to interpret. In short, many of the modelling approaches can only be used effectively by the gods who created them! Our aim is to make formal behaviour models and the benefits of analysis accessible to mere software engineering mortals