|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0098: Incremental State Space Visualization |
| Aktuelle | Tidligere |
Model checkers like SPIN often generate the full state space of a (concurrent) system. The aim of this project is to build and present the state space in an incremental way. This should be done by implementing at graphical user interface visualizing the state space graph incremenatally on basis of user interaction.
The application is supposed to work with Erigone which is a scaled down version of the SPIN model checker working with a subset of the Promela modelling langauge.
The application may be implemented in any platform independent langauge, however, Java is preferred.
The project may be co-supervised by associate professor Moti Ben-Ari, Weizmann Institute of Science, Israel.
| Prerequisites: | 02158 Concurrent Programming (Recommended) |
Supervisor(s) Hans Henrik Løvengreen
| Sidst opdateret: Oct 31, 2011 af Hans Henrik Løvengreen |