diff --git a/draft/2025-02-19-this-week-in-rust.md b/draft/2025-02-19-this-week-in-rust.md
index c8f38cebc..f8cbdf9e7 100644
--- a/draft/2025-02-19-this-week-in-rust.md
+++ b/draft/2025-02-19-this-week-in-rust.md
@@ -37,6 +37,8 @@ and just ask the editors to select the category.
 
 ### Project/Tooling Updates
 
+- [Towards Practical Formal Verification for a General-Purpose OS in Rust](https://asterinas.github.io/2025/02/13/towards-practical-formal-verification-for-a-general-purpose-os-in-rust.html)
+
 ### Observations/Thoughts
 
 ### Rust Walkthroughs