Projects
The projects form a sequence of tasks to extend a new classification module in
Traviando. To deliver your results for a particular project assigment, generate
a release version (tag) in your subversion repository, e.g., release 1.0 for project
1, release 2.0 for project 2 etc.
Project 1: Classification of variables in a simulation
trace, due Sep 11 at noon, drop out deadline Sep 16 at noon!
Project 2: Classification of actions in a simulation trace
Project 3: Observe invariants
Project 4: Compute invariants
Project 5: GUI Integration and I/O