CSE4312

User Tools

Site Tools

You are here: CSE4312
Trace: • CSE4312
start

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
start [2009/10/18 22:24] – jonathanstart [2009/10/18 22:30] (current) – jonathan
Line 23: Line 23:
    
 In addition In addition
-  * you will be a temporal logic model checker using the for doing mathematical requirements analysis and verification (either PAT2 or[[[https://wiki.cse.yorku.ca/lab/sel/tutorial:start|Spin]]).+  * you will be a temporal logic model checker using the for doing mathematical requirements analysis and verification (either [[http://www.comp.nus.edu.sg/~pat/|PAT2]] or [[https://wiki.cse.yorku.ca/lab/sel/tutorial:start|Spin]]). See Chapter 17 in the suggested text.
   * You will also need to know some of the UML diagrams (you may want to read UML distilled : a brief guide to the standard object, Martin Fowler, available from Steacie).   * You will also need to know some of the UML diagrams (you may want to read UML distilled : a brief guide to the standard object, Martin Fowler, available from Steacie).
  
start.1255904687.txt.gz · Last modified: 2009/10/18 22:24 by jonathan