This practical session will help to better understand validation and verification in practice, while being exposed to scientific materials.
You can access the exercices here
You can realize this lab by group of 1 or 2.
We will not mark this lab. However, realizing this lab will help you for the final evaluation, and you can have a feedback on your work by forking this repository and submitting a pull request (deadline: March 12th, 2021).