ECUE Software Verification

ECUE's code : SMESV1

This course belong to UE AMO (Architecture, Modeling and Optimization) (6 ECTS) which contains 4 ECUE

Structure

EUR DS4H

Disciplinary domain

Informatique

Campus

Campus SophiaTech Les Lucioles

Course's level

Master 2

Semester

Semestre impair

Language

Anglais , Français

PRESENTATION

This course provides an introduction to formal and practical techniques for ensuring software correctness.

We will cover the theoretical foundations of type systems and separation logic, and apply modern testing methodologies to detect bugs and validate program behavior.

Course's manager(s)

Cinzia Di-Giusto

In class

12h of lectures
16h of directed studies

PREREQUISITES

No prerequisite

OBJECTIVES

By the end of this course, I should be able to...

comprendre la différence entre un système de typage et le testing

CONTENT

Introduction to Lambda Calculus

No description
The simply typed lambda calculus

No description

Access to complete Syllabus (Authentification required)

Important

This syllabus has no contractual value. Its content is subject to change throughout this year: be aware to the last updates