You can clone with
HTTPS or Subversion.
removing generated files from project
final slides for the presentation
naming the requirements
ignoring temp files
translated slides into english
adjusted requirements document
bugfix in final refinement
lifeness prove done :-)
part 3 of lifeness prove
realy corrected guards (and proved 2 new invariants depending on them)
corrected wrong guard (deadlook).
part 2 of lifeness prove.
part 1 of lifeness prove
refinement for lifeness
final refinement with functions instead of sets
convergence of button release events
second half of convergence for door events
first half of convergence for door events
convergence of movement events
deleted unused files
cleanup of refinement hierarchy
convergence of scheduler events (added a variable request_served)
added requests variable containing all pending requests.
convergence of all button-lights events
proved more invariants
incorporated feedback and fixed some gards
removed "opened" flag
delaying convergence proves until the end
final refinement to get back the button functions (instead of sets)
corrected guards of switch_schedult_to_up/down
corrected convergence of events