User Tools
courses:ssv2021:main
Differences
This shows you the differences between two versions of the page.
|
courses:ssv2021:main [2021/12/01 02:23] tsay2 [Syllabus/Schedule (with links to slides/notes)] |
courses:ssv2021:main [2022/01/04 23:58] (current) tsay2 [Announcements] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| + | * 01/04: {{courses:ssv:old_exams.zip|old exams}}. | ||
| + | * 12/29: solutions to homework assignments: {{courses:ssv2021:hw3_s.zip|HW#3}}, {{courses:ssv2021:hw4_s.pdf|HW#4}}, {{courses:ssv2021:hw5_s.pdf|HW#5}}. | ||
| + | * 12/22: solutions to homework assignments: {{courses:ssv2021:hw1_s.pdf|HW#1}}, {{courses:ssv2021:hw2_s.pdf|HW#2}}. | ||
| + | * 12/22: slides for Compositional Reasoning available. | ||
| + | * 12/07: slides for UNITY and the Temporal Verification available. | ||
| + | * 12/07: slides for the Owicki-Gries Method available. | ||
| + | * 12/01: slides for Frama-C with Coq available. | ||
| * 11/24: slides for Frama-C and ACSL available. | * 11/24: slides for Frama-C and ACSL available. | ||
| * 11/17: slides for Hoare Logic (II): Procedures available. | * 11/17: slides for Hoare Logic (II): Procedures available. | ||
| Line 40: | Line 47: | ||
| * Predicate Transformers (1 week: 11/10) [{{courses:ssv2021:predicate_transformers.pdf|slides}}] | * Predicate Transformers (1 week: 11/10) [{{courses:ssv2021:predicate_transformers.pdf|slides}}] | ||
| * Procedures: Hoare Logic (II) (1 week: 11/17) [{{courses:ssv2021:procedures.pdf|slides}}] | * Procedures: Hoare Logic (II) (1 week: 11/17) [{{courses:ssv2021:procedures.pdf|slides}}] | ||
| - | * Verification Tools: Frama-C + Plugins (2 weeks: 11/24, 12/01) [slides: {{courses:ssv2021:frama-c_acsl.pdf|Frama-C and ACSL}}, {{courses:ssv2021:frama-c_coq.pdf|Frama-C with Coq}}] | + | * Verification Tools: Frama-C + Plugins (2 weeks: 11/24, 12/01) [slides: {{courses:ssv2021:frama-c_acsl.pdf|Frama-C and ACSL}}, {{courses:ssv2021:frama-c_coq.pdf|Frama-C with Coq}}; examples:{{courses:ssv2021:frama-c_examples.zip|Frama-C Examples}}] |
| * Concurrent, Reactive Systems: Owicki-Gries Method (1 week: 12/08) [{{courses:ssv2021:concurrency.pdf|slides}}] | * Concurrent, Reactive Systems: Owicki-Gries Method (1 week: 12/08) [{{courses:ssv2021:concurrency.pdf|slides}}] | ||
| * Concurrent, Reactive Systems: UNITY and Linear Temporal Logic (1 week: 12/15) [slides: {{courses:ssv2021:UNITY.pdf|UNITY}},{{courses:ssv2021:temporal_verification.pdf|Temporal Verification}}] | * Concurrent, Reactive Systems: UNITY and Linear Temporal Logic (1 week: 12/15) [slides: {{courses:ssv2021:UNITY.pdf|UNITY}},{{courses:ssv2021:temporal_verification.pdf|Temporal Verification}}] | ||
courses/ssv2021/main.1638296591.txt.gz ยท Last modified: 2021/12/01 02:23 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
