Differences

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

Link to this comparison view

Both sides previous revision Previous revision
cs-486:homework-3 [2017/10/06 17:00]
egm [Problems]
cs-486:homework-3 [2017/10/06 17:00] (current)
egm [Problems]
Line 78: Line 78:
 </​code>​ </​code>​
  
-Model Peterson’s leader election protocol in Promela (avoiding invalid end states) and verify any of the following properties ''​that are regular safety properties''':​+Model Peterson’s leader election protocol in Promela (avoiding invalid end states) and verify any of the following properties ​'''​that are regular safety properties''':​
 # There is always at most one leader. # There is always at most one leader.
 # Eventually always a leader will be elected. # Eventually always a leader will be elected.
cs-486/homework-3.txt · Last modified: 2017/10/06 17:00 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0