/
Français
English
- Styles : Flots de données, états hiérarchiques, par contraintes ;
- Lustre : type, analyse de causalité, tableaux, recursivité ;
- Vérifier un programme : model-checking, lesar
- Observateurs et logique temporelle
UE Synchronous Programming
Code de l'ECUE : SMUFN128
EUR DS4H
Informatique
Campus SophiaTech Les Lucioles
Master 1
Semestre impair
Anglais
,
Français
PRESENTATION
Cours d'introduction aux langages synchrones.
Responsable(s) du cours
Frederic Mallet
Présentiel
- 12h de cours magistral
- 12h de travaux dirigés
PREREQUIS
Pas de prérequis
OBJECTIFS
A la fin de ce cours, je devrais être capable de...
- Ecrire un observateur pour vérifier une propriété
- Utiliser un BDD pour vérifier un programme fini
- Ecrire un programme simple en lustre : combinatoire ou séquentiel
- Comprendre les différences du paradigme synchrone
CONTENU
-
Paradigme synchrone
-
Arbres binaires de recherche
- Equivalence fonction booléenne et programme synchrone
- SAT, Equivalence
- Calculer un co-facteur et réduire un BDD
- Composer des ROBDDs.
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.