Semantics and Verification

M1 IF course, ENS de Lyon.

Overview


The goal of formal verification is to check automatically that some programs or systems
are correct with respect to their requirements.

In this course we present mathematical models of programs and systems and we
describe classes of properties which can be automatically checked on these models.


Content of the course:


Prerequisites from the L3 year of the Computer Science Department of ENS de Lyon:


Bibliography:

Homework

Final Exam

Courses













Valid XHTML 1.0 Strict



Back home.