The aim of this project is to develop a model checker suitable for teaching software engineering. The application is currently a prototype for this model checker and contains some initial features. The prototype uses features of the transitions library. Therefore this library and its diagram extension must be installed in order to run the application.
The prototype currently supports the import of state machine diagrams in an XML format. In the examples folder you can find state machine diagrams that were constructed using draw.io and exported as XML files.