User Tools
courses:sdm2022:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2022:main [2022/05/22 16:46] tsay2 [Announcements] |
courses:sdm2022:main [2022/06/07 16:53] (current) tsay2 [Syllabus/Schedule (with links to slides/notes)] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| - | * 05/02: review form for the second preliminary demos: {{courses:sdm2022:Presentations_final.docx|Evaluation by Individual Reviewer}}. | + | * 06/07: slides for Frama-C and ACSL available. |
| + | * 05/02: review form for the final presentations: {{courses:sdm2022:Presentations_final.docx|Evaluation by Individual Reviewer}}. | ||
| * 05/02: review form for the complete system demos: {{courses:sdm2022:Presentations_democomplete_checklist.docx|Check List}}. | * 05/02: review form for the complete system demos: {{courses:sdm2022:Presentations_democomplete_checklist.docx|Check List}}. | ||
| * 05/18: {{courses:sdm2022:hw5.pdf|HW#5}} due 11:59PM 05/31. | * 05/18: {{courses:sdm2022:hw5.pdf|HW#5}} due 11:59PM 05/31. | ||
| Line 85: | Line 86: | ||
| * **Term Project: Final Presentations (2022/05/25)** | * **Term Project: Final Presentations (2022/05/25)** | ||
| * **Final Exam (2022/06/01)** | * **Final Exam (2022/06/01)** | ||
| - | * **Formal Verification: Verification Tools** (1 week: 06/08)\\ Verification of programs with Frama-C and ACSL \\ [{{courses:sdm2022:frama-c.pdf|slides}}] | + | * **Formal Verification: Verification Tools** (1 week: 06/08)\\ Verification of programs with Frama-C and ACSL \\ [{{courses:sdm2022:frama-c_acsl.pdf|slides}}] |
| * **Wrap-Up Discussions** (1 week: 06/15) | * **Wrap-Up Discussions** (1 week: 06/15) | ||
courses/sdm2022/main.1653209197.txt.gz · Last modified: 2022/05/22 16:46 by tsay2
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
