Skip to content

Latest commit

 

History

History
20 lines (10 loc) · 800 Bytes

README.md

File metadata and controls

20 lines (10 loc) · 800 Bytes

Validation and Verification: Practical Session #1

This practical session will help to better understand validation and verification in practice, while being exposed to scientific materials.

Exercises

You can access the exercises here

Lab implementation

You can realize this lab by group of 1 or 2.

Deliverable and evaluation

We will mark this lab. You need to fork this repository and to submit a pull request with the answers directly here (deadline December 20th 2024, 23:59).

Note : To be taken into account for grading, the title of the pull request must be formatted as follows {LAST_NAME1}{FIRST_NAME1}&{LAST_NAME2}_{FIRST_NAME2} If you want to remain anonymous on github, you can use a pseudonym if you communicate it to your lab teacher {PSEUDO1}&{PSEUDO2}.