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