This shows you the differences between two versions of the page.
courses:sdm2023:main [2023/05/16 23:04] tsay2 [Announcements] |
courses:sdm2023:main [2023/06/16 17:57] (current) tsay2 [Announcements] |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Announcements ===== | ===== Announcements ===== | ||
+ | * 06/16: {{courses:sdm2023:sdm2023grade_termproject.pdf|scores of term project}}. | ||
+ | * 06/07: {{courses:sdm2023:sdm2023final.pdf|final exam}} due 5:20PM 06/07. | ||
+ | * 05/24: {{courses:sdm2023:hw5.pdf|HW#5}} due 23:59PM 06/06. | ||
+ | * 05/24: slides for Formal Logic, Hoare Logic, and Frama-C and ACSL available. | ||
* 05/16: suggested solutions to {{courses:sdm2023:hw3_s.pdf|HW#3}} and {{courses:sdm2023:hw4_s.pdf|HW#4}} available. | * 05/16: suggested solutions to {{courses:sdm2023:hw3_s.pdf|HW#3}} and {{courses:sdm2023:hw4_s.pdf|HW#4}} available. | ||
* 05/10: slides for Software Testing available. | * 05/10: slides for Software Testing available. | ||
Line 74: | Line 78: | ||
* **Midterm Discussions** (or Make-Up Lecture) (2/3 week: 05/10b) | * **Midterm Discussions** (or Make-Up Lecture) (2/3 week: 05/10b) | ||
* **Software Verification: Testing** (1 week: 05/17) \\ [{{courses:sdm2023:software_testing.pptx|slides}}] | * **Software Verification: Testing** (1 week: 05/17) \\ [{{courses:sdm2023:software_testing.pptx|slides}}] | ||
- | * ** Formal Specification: Formal Logic and Correctness Requirements** (.5 week: 05/24a) \\ Propositional and first-order logics (//propositions, proofs, theorems, predicates, models//)\\ [{{courses:sdm2023:logic.pdf|slides}}] | + | * ** Formal Specification: Formal Logic and Correctness Requirements** (.5 week: 05/24a) \\ Motivation, program correctness, propositional and first-order logics (//propositions, proofs, theorems, predicates, models//)\\ [{{courses:sdm2023:logic.pdf|slides}}] |
- | * **Formal Verification: Verification of Programs with Frama-C and ACSL** (.5 week: 05/24b) \\ [{{courses:sdm2023:frama-c_acsl.pdf|slides}}] | + | * **Formal Verification: Verification of Programs with Frama-C and ACSL** (.5 week: 05/24b) \\ [slides: {{courses:sdm2023:hoare_logic.pdf|Hoare Logic}}, {{courses:sdm2023:frama-c_acsl.pdf|Frama-C and ACSL}}] |
* **Term Project: Final Presentations (2023/05/31)** | * **Term Project: Final Presentations (2023/05/31)** | ||
* **Final Exam (2023/06/07)** | * **Final Exam (2023/06/07)** |