course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| course_outline [2021/01/21 20:05] – aboelaze | course_outline [2021/01/21 21:04] (current) – aboelaze | ||
|---|---|---|---|
| Line 50: | Line 50: | ||
| * Week 8: Equivalence and refinement | * Week 8: Equivalence and refinement | ||
| - | * Week 9: Model checking and freachability | + | * Week 9: Model checking and reachability |
| * Week 10: Testbenches and verification | * Week 10: Testbenches and verification | ||
course_outline.1611259531.txt.gz · Last modified: 2021/01/21 20:05 by aboelaze