diff --git a/content/courses/_index.md b/content/courses/_index.md
index 0217c72..3db87a2 100644
--- 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
new file mode 100644
index 0000000..519e432
--- /dev/null
+++ 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
new file mode 100644
index 0000000..407be1f
Binary files /dev/null and b/content/courses/cose419/2024/slides/lec0.pdf differ
diff --git a/content/courses/cose419/2024/slides/lec1.pdf b/content/courses/cose419/2024/slides/lec1.pdf
new file mode 100644
index 0000000..1745c61
Binary files /dev/null and b/content/courses/cose419/2024/slides/lec1.pdf differ