ECUE Software Verification

Code de l'ECUE : SMESV1

Ce cours appartient à UE AMO (Architecture, Modeling and Optimization) (6 ECTS) qui contient 4 ECUE

Structure

EUR DS4H

Domaine disciplinaire

Informatique

Lieu d'enseignement

Campus SophiaTech Les Lucioles

Niveau du cours

Master 2

Semestre

Semestre impair

Langue

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.

Responsable(s) du cours

Cinzia Di-Giusto

Présentiel

12h de cours magistral
16h de travaux dirigés

PREREQUIS

Pas de prérequis

OBJECTIFS

A la fin de ce cours, je devrais être capable de...

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

CONTENU

Introduction to Lambda Calculus

Aucune description
The simply typed lambda calculus

Aucune description

Accéder au Syllabus complet (Authentification requise)

Important

Ce syllabus n’a aucune valeur contractuelle. Son contenu est susceptible d’évoluer en cours d’année : soyez attentifs aux dernières modifications.