The goal of the master’s thesis was to implement a graphical user interface for a simulator which has been developed as part of the DIVINE project and thus far only had a command line interface. On this basis the new interface was developed using the C++ programming language and the Qt framework. The written part of the thesis consists of an introduction to formal verification and model checking which is then used to describe the DIVINE project and the tools it consists of. Furthermore, it analyses the functionality of the existing simulator and designs an architecture for the new solution. Afterwards the implementation is described, and the work concludes with an evaluation of achieved goals.