|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0211: Graphical Visualization Components for QSpin |
| Aktuelle | Tidligere |
The SPIN model checker is an efficient verification engine for transition system expressed in the textual language Promela. In a previvous project, a new frontend for SPIN, QSpin, has been developed. QSpin is implemented as open source software in C++ using the Qt framework.
In this project Qt should be enhanced with tool components for graphical visualialization of the generated transition diagrams/automata as well as the total transition graph.
Knowledge of C++, the Qt framework and basic compiler techniques would be an advantage.
| Prerequisites: | 02158 Concurrent Programming (Recommended) |
Supervisor(s) Hans Henrik Løvengreen
| Sidst opdateret: Nov 24, 2017 af Hans Henrik Løvengreen |