Differences

This shows you the differences between two versions of the page.

--- course_outline [2010/03/21 23:02] – jonathan
+++ course_outline [2010/03/25 20:56] (current) – jonathan
@@ Line 98: / Line 98: @@
 ===== Week 12: March 22=====
-Tuesday: Diskstra weakest precondition calculus and loop variants and invariants.
+Tuesday: Dijkstra weakest precondition calculus and loop variants and invariants.Proving loop termination. Relationship of Dijkstra weakest precondition calculus to Event-B. Slides on the SVN.
+Thursday: Review of arithmetic, set theory, predicate logic and Event-B invariant and refinement proof obligations. Translation between set theoretic statements and predicate logic. Re-write rules.
+===== Week 13: March 29=====
+Work through a complete example: requirements document, initial specification, refinements etc.
-Thursday: Proving loop termination. Relationship to Event-B. Discussion of Exam.