HOME

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
bsr-ws2016:handson [2017/02/20 14:57]
nour.assy [3rd session on Thursday, October 27]
bsr-ws2016:handson [2017/02/20 15:01]
nour.assy [3rd session on Thursday, October 27]
Line 64: Line 64:
  
   * **Requirements**:​ Prior knowledge in formal verification is preferred but not required.   * **Requirements**:​ Prior knowledge in formal verification is preferred but not required.
 +\\ \\
 ---- ----
 +\\ \\
 <WRAP group> <WRAP group>
 <WRAP class center quarter column> <WRAP class center quarter column>