Introduction to program verification

The aim of this course is to introduce students to program verification and, more generally, to the formal techniques used in these approaches. The essential aim is to present the main principles of software verification and testing, the underlying models, and to introduce some associated tools, and the formal techniques used. Some of the elements studied: 

- Overview of validation methods and tools
- PLC systems and synchronization
- Temporal logic
- Verification and model-checking
- Classical properties / Case studies
- Introduction to software testing
- Formal techniques in testing

Introduce students to program verification and, more generally, to the formal techniques used in these approaches. 

logic and proof" module in S5