add cose419

kupl · Mar 10, 2024 · 7b75507 · 7b75507
1 parent a895eab
commit 7b75507
Show file tree

Hide file tree

Showing 4 changed files with 29 additions and 0 deletions.
diff --git a/content/courses/_index.md b/content/courses/_index.md
@@ -5,6 +5,12 @@ menu = 'main'
 weight = 60
 +++
 
+## 2023 Fall
+
+- [COSE 419: Software Verification]({{< relref "cose419/2024/_index.md" >}})
+- GECT 002: SW Programming Principles
+
+
 ## 2023 Fall
 
 - [COSE 212: Programming Languages]({{< relref "cose212/2023/_index.md" >}})

diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md
@@ -0,0 +1,23 @@
++++
+draft = false
+title = 'COSE419-24S'
++++
+
+# Software Verification, 2024 Spring
+
+## Instructors 
+
+- Lecturer: [Hakjoo Oh]({{< ref "/members/hakjoo-oh" >}})
+- TAs: [Jisuk Byun]({{< ref "/members/jisuk-byun/" >}}), [Donguk Kim]({{< ref "/members/donguk-kim/" >}})
+
+
+## Topics
+
+- Course Overview
+    - Slides: [lec0.pdf](./slides/lec0.pdf) 
+- Introduction to Software Analysis
+    - Slides: [lec1.pdf](./slides/lec1.pdf) 
+    - Video: [(1)](https://www.youtube.com/watch?v=AngZAxUIIys)
+
+## Programming Assignments
+
diff --git a/content/courses/cose419/2024/slides/lec0.pdf b/content/courses/cose419/2024/slides/lec0.pdf
diff --git a/content/courses/cose419/2024/slides/lec1.pdf b/content/courses/cose419/2024/slides/lec1.pdf