ENT
Les langages de spécification formelle sont largement utilisés pour spécifier des nouveaux systèmes informatiques et en général pour décrire le comportement des systèmes complexes existants.
Dans ce cours, nous allons introduire un des outils formel qui est le langage Z. Cet outil, basé sur la théorie des ensembles et la logique de prédicat, permettra à l’étudiant de spécifier des systèmes complexes (pas forcement du logiciel) dont le but de faire des preuves mathématiques.