CSE3341

User Tools

Site Tools

You are here: W12-CSE3341M - Introduction to Program Verification
Trace:
start

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
start [2012/01/03 00:40] – jonathanstart [2012/01/03 22:53] (current) – jonathan
Line 4: Line 4:
 ===== Lecture Times ===== ===== Lecture Times =====
  
-  * Tuesdays/Thursday 11.30am-1pm, CCB115+  * Tuesdays/Thursday 11.30am-1pm, CCB115. **Note**: All classes from now on will be in the Software Engineering Laboratory, CSEB2056.
  
   * We will be using the [[http://www.event-b.org/platform.html|Rodin]] toolset (also available with Atelier provers/AnimB on the SVN for Windows). For textbook and course slides see [[:textbook|here]].   * We will be using the [[http://www.event-b.org/platform.html|Rodin]] toolset (also available with Atelier provers/AnimB on the SVN for Windows). For textbook and course slides see [[:textbook|here]].
start.1325551235.txt.gz · Last modified: by jonathan