update cose419

kupl · May 28, 2024 · 4cfc3c2 · 4cfc3c2
1 parent abac9b6
commit 4cfc3c2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md
@@ -55,9 +55,12 @@ title = 'COSE419-24S'
 ### Part 3: Static Analysis
 - Static Analysis Overview
     - Slides [lec11.pdf](./slides/lec11.pdf)
-    - Video: [(1)](https://youtu.be/mT4qDt5BvP4)
+    - Video: [(1)](https://youtu.be/mT4qDt5BvP4) [(2)](https://youtu.be/kFsQJY6xY5A)
 - Interval Analysis
     - Slides [lec12.pdf](./slides/lec12.pdf)
+    - Video: [(1)](https://youtu.be/qZmQnD7Bi38)
+- Relational Analysis
+    - Slides [lec13.pdf](./slides/lec13.pdf)
     - Video: 
 
 ## Assignments

diff --git a/content/courses/cose419/2024/slides/lec13.pdf b/content/courses/cose419/2024/slides/lec13.pdf