diff --git a/content/this-month/2025-02/index.md b/content/this-month/2025-02/index.md
index 2cfabe4..0e825b6 100644
--- a/content/this-month/2025-02/index.md
+++ b/content/this-month/2025-02/index.md
@@ -34,6 +34,7 @@ Please follow this template:
 
 - [Asterinas in 2024](https://asterinas.github.io/2025/01/20/asterinas-in-2024.html)
   - [Asterinas](https://github.com/asterinas/asterinas) is a Linux ABI-compatible OS written from scratch in Rust
+- [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)
 
 ## Infrastructure and Tooling