This short session is an introduction to practicals with the CosyVerif verification platform. It briefly introduces the underlying principles, the technical requirements for the installation, which are necessary to do the exercises.