|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0099: A Graphical Promela Editor |
| Aktuelle | Tidligere |
Promela is the textual modelling langauge used by the SPIN model checker. The langauge is based on Dijkstra's guarded commands.
For smaller models, a graphical representation of the model in terms om automata (state machines) may be more intuitive. The aim of this project is to develop a editor for a graphical representation of (a subset of) Promela programs.
The application may be implemented in any platform independent langauge, however, Java is preferred. Possibly the editor may be integrated into to Eclipse environment.
| Prerequisites: | 02158 Concurrent Programming (Recommended) |
Supervisor(s) Hans Henrik Løvengreen
| Sidst opdateret: Oct 31, 2011 af Hans Henrik Løvengreen |