Number of hours
- Lectures 12.0
- Projects -
- Tutorials 21.0
- Internship -
- Laboratory works -
- Written tests -
ECTS
ECTS 3.0
Goal(s)
This course is an introduction to the foundations of semantics and program analysis. It presents the basis necessary
to specify and design reliable applications, as well as to build and use analysis and verification tools.
Responsible(s)
Marie-Laure POTET
Content(s)
- Operational semantics of programming languages.
- Weakest precondition and program proof.
- Data-flow analysis.
- Static analysis and abstract interpretation.
- Applications to compilers and to software safety and security.
- Practical works with two industrial tools.
Courses of Programming and Language theory (1st year).
Test
Written exam
Calendar
The course exists in the following branches:
- Curriculum - Information Systems Engineering - Semester 8
Additional Information
Course ID : 4MMACSS
Course language(s): 
The course is attached to the following structures:
- Team Computer security
You can find this course among all other courses.