Need for future development
Improvement of GUI
- Reimplementation of inner datastructure for representing syntax in order to allow for context sensitive syntax checks
- Cut-&-Paste, Undo, Redo
- User-determined placement of processes during simulation
- Division of syntax checker into 2 layers
- layer 1: basic graphical syntax checks
- layer 2: UPPAAL specific syntax checks
- Message sequence charts
- graphical visualisation of communication structure
- autogeneration of graphics from textual formal
- improvement of verification interface
- improved simulation facilities (super tracing, logging & statistics)
- .................
Improvement of Verification Engine
More suggestions most welcome!!