Joining the INP
Joining a school
Sign up
Welcome booklet
School / Prep
ENSEIRB-MATMECA
Internal code
EI9IF338
Description
Master the fundamental concepts of program specification and formal proof.
Acquire practical skills in this field.
Teaching hours
- CIIntegrated Courses12h
- TIIndividual work3h
- PRACTICAL WORKPractical work10h
Mandatory prerequisites
C language skills.
Syllabus
Introduction to static program analysis
Specifying programs in ACSL
Proving programs with Why3
Assessment of knowledge
Initial assessment / Main session
| Type of assessment | Nature of assessment | Duration (in minutes) | Number of tests | Evaluation coefficient | Eliminatory evaluation mark | Remarks |
|---|---|---|---|---|---|---|
| Integral Continuous Control | Continuous control | 1 |