Update formal-verification.md

Added 2 years of missing exam papers
nating · Dec 10, 2024 · cd02734 · cd02734
1 parent ee668aa
commit cd02734
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/website/docs/formal-verification.md b/website/docs/formal-verification.md
@@ -11,7 +11,8 @@ CS4004
 -   [Alex's Formal Verification solutions](https://github.com/alexandersep/Formal-Verification-Solutions)
 
 ## Questions by Year
-
+-   [2023](https://www.tcd.ie/academicregistry/exams/assets/local/Past%20Papers%202023-2024/Semester%201/CSU%20CS7%20STU%20STP/CSU44004-1.pdf)
+-   [2022](https://www.tcd.ie/academicregistry/exams/assets/local/past-papers202223/CSU/CSU44004-1.pdf)
 -   [2021](https://www.tcd.ie/academicregistry/exams/assets/local/past-papers%20202122/SEM%201%20DREAMWEAVER%20UPLOADER%20PDF/CSU/CSU44004-901.pdf)
 -   [2020 (Sat January 2021 due to Covid)](https://www.tcd.ie/academicregistry/exams/assets/local/past-papers%20202021/CSU/CSU44004-1.pdf)
 -   [2019](https://www.tcd.ie/academicregistry/exams/assets/local/past%20papers201920/CSU/CSU44004-1.PDF)