2025 init

README.md

@@ -0,0 +1,19 @@
+# Validation and Verification: Practical Session
+
+This practical session will help to better understand property-based testing, and in particular the tool [jqwik](https://jqwik.net/).
+
+## Exercises
+
+You can access the exercises [here](sujet.md)
+
+## Lab implementation
+
+You can realize this lab by group of 1 or 2. 
+
+## Deliverable and evaluation
+
+This lab will be graded. You must **fork this repository** and submit a **merge request** with your answers directly here.  
+
+**Deadline:** December 19th, 2025, at 23:59.
+
+**Important:** To be considered for grading, all members of the group must be **tagged in the description** of the merge request.