User Tools

Site Tools


courses:ssv2024:main

Differences

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

Link to this comparison view

courses:ssv2024:main [2024/11/20 13:00]
tsay2 [Announcements]
courses:ssv2024:main [2025/01/06 21:30] (current)
tsay2 [Announcements]
Line 3: Line 3:
  
 ===== Announcements ===== ===== Announcements =====
 +  * 2025/01/06: {{courses:​ssv2024:​ssv2024grade.pdf|grade report}} available; please send inquiries/​requests,​ if any, to the instructor by 5PM 1/7 (Tue.).
 +  * 12/18: papers/​files for the {{courses:​ssv2024:​ssv2024final.pdf|final}} are due 5:30PM.
 +  * 12/11: {{courses:​ssv:​old_exams.zip|old exams}}.
 +  * 12/11: {{courses:​ssv2024:​hw7.pdf|HW#​7}} for exercise (not counted toward grade).
 +  * 12/11: slides for Compositional Reasoning available.
 +  * 12/03: solutions to homework assignments:​ {{courses:​ssv2024:​hw4_s.pdf|HW#​4}} (revised 12/04), {{courses:​ssv2024:​hw5_s.pdf|HW#​5}}.
 +  * 12/03: {{courses:​ssv2024:​hw6.pdf|HW#​6}} due on 12/11.
 +  * 11/27: slides for UNITY and Temporal Verification available.
 +  * 11/27: slides for the Owicki-Gries Method available.
 +  * 11/20: {{courses:​ssv2024:​termproject.pdf|Term Project}}: proposals due 12/13 and final results due 12/27.
   * 11/20: slides and an example for Using Frama-C available.   * 11/20: slides and an example for Using Frama-C available.
-  * 11/13: slides for Frama-C and ACSL available.+  * 11/13: slides for Frama-C and ACSL available ​(revised 11/20).
   * 11/06: {{courses:​ssv2024:​hw5.pdf|HW#​5}} due on 11/20.   * 11/06: {{courses:​ssv2024:​hw5.pdf|HW#​5}} due on 11/20.
   * 11/06: slides for Hoare Logic (II): Procedures available.   * 11/06: slides for Hoare Logic (II): Procedures available.
Line 48: Line 58:
   * Predicate Transformers (1 week: 10/30) [{{courses:​ssv2024:​predicate_transformers.pdf|slides}}]   * Predicate Transformers (1 week: 10/30) [{{courses:​ssv2024:​predicate_transformers.pdf|slides}}]
   * Procedures: Hoare Logic (II) (1 week: 11/6) [{{courses:​ssv2024:​procedures.pdf|slides}}]   * Procedures: Hoare Logic (II) (1 week: 11/6) [{{courses:​ssv2024:​procedures.pdf|slides}}]
-  * Verification Tools: Frama-C + Plugins (2 weeks: 11/13, 11/20) [slides: {{courses:​ssv2024:​frama-c_acsl.pdf|Frama-C and ACSL}}, {{courses:​ssv2024:​Using-Frama-C.pdf|Using Frama-C}}; examples:​{{courses:​ssv2024:​frama-c-simple-examples.zip|Simple Examples}}, {{courses:​ssv2024:​frama-c-examples.zip|Frama-C ​Examples}}]+  * Verification Tools: Frama-C + Plugins (2 weeks: 11/13, 11/20) [slides: {{courses:​ssv2024:​frama-c_acsl.pdf|Frama-C and ACSL}}, {{courses:​ssv2024:​Using-Frama-C.pdf|Using Frama-C}}; examples:​{{courses:​ssv2024:​frama-c-simple-examples.zip|Simple Examples}}, {{courses:​ssv2024:​frama-c-example.zip|Frama-C ​Example}}]
   * Concurrent, Reactive Systems: Owicki-Gries Method (1 week: 11/27) [{{courses:​ssv2024:​concurrency.pdf|slides}}]   * Concurrent, Reactive Systems: Owicki-Gries Method (1 week: 11/27) [{{courses:​ssv2024:​concurrency.pdf|slides}}]
   * Concurrent, Reactive Systems: UNITY and Linear Temporal Logic (1 week: 12/04) [slides: {{courses:​ssv2024:​UNITY.pdf|UNITY}},​{{courses:​ssv2024:​temporal_verification.pdf|Temporal Verification}}]   * Concurrent, Reactive Systems: UNITY and Linear Temporal Logic (1 week: 12/04) [slides: {{courses:​ssv2024:​UNITY.pdf|UNITY}},​{{courses:​ssv2024:​temporal_verification.pdf|Temporal Verification}}]
courses/ssv2024/main.1732078821.txt.gz ยท Last modified: 2024/11/20 13:00 by tsay2