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, due September 30, drop out deadline October 2 at noon!
Project 3: Observe invariants, due October 14, drop out
deadline October 16 at noon!
Project 4: Compute invariants, due October 28, drop out
Oct 30 at noon!
Project 5: GUI Integration and I/O, due November 18, drop
out Nov 20 at noon!