/
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
ECUE's code : SMUFN128
EUR DS4H
Informatique
Campus SophiaTech Les Lucioles
Master 1
Semestre impair
Anglais
,
Français
PRESENTATION
Cours d'introduction aux langages synchrones.
Course's manager(s)
Frederic Mallet
In class
- 12h of lectures
- 12h of directed studies
PREREQUISITES
No prerequisite
OBJECTIVES
By the end of this course, I should be able to...
- 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
CONTENT
-
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.
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