FR
English
Connexion
Utiliser mon compte école
Je me connecte
Utiliser un compte provisoire
Valider
Error:
Accueil
Les formations
Catalogue 2026 - 2027
Ingénieur
ING - Diplôme d'ingénieur
Mastère spécialisé
ADE - Architecte Digital d'Entreprise
DATA - Intelligence Artificielle - Expert Data & MLops
IA - IA : Intelligence Artificielle multimodale et autonome
Catalogue 2025 - 2026
Ingénieur
ING - Diplôme d'ingénieur
Master
M1DATAAI - M1 DATAAI - Data and Artificial Intelligence
M1DES - M1 DES - Recherche en Design
M1IGD - M1 IGD - Interaction, Graphics and Design
M2DATAAI - M2 DATAAI - Data and Artificial Intelligence
M2DES - M2 DES - Recherche en Design
M2ICS - M2 ICS - Integration, Circuits and Systems
M2IGD - M2 IGD - Interaction, Graphics and Design
M2IREN - M2 IREN - Industries de Réseau et économie numérique
M2MICAS - M2 MICAS - Machine learnIng, CommunicAtions, and Security
M2MVA - M2 MVA - Mathématiques, Vision, Apprentissage
M2QMI - M2 QMI - Quantique, Mathématiques, Informatique
M2SETI - M2 SETI - Systèmes embarqués et traitement de l'information
PHDCOMPSC - PhD Track - Computer Science
Mastère spécialisé
ADE - Architecte Digital d'Entreprise
ARC - Architecte Réseaux et Cybersécurité
CYBER2 - Cybersécurité et Cyberdéfense
DATA - Intelligence Artificielle - Expert Data & MLops
ECRSI - Expert cybersécurité des réseaux et des systèmes d'information
IA - IA : Intelligence Artificielle multimodale et autonome
MSIR - Management des systèmes d'information en réseaux
SMOB - Smart Mobility - Transformation Numérique des Systèmes de Mobilité
Programme d'échange
PEI - Echange international non diplomant
Programme non CES
PNCIPSIC - Cycle IPSIC
Catalogue 2024 - 2025
Ingénieur
ING - Diplôme d'ingénieur
Master
M1DATAAI - M1 DATAAI - Data and Artificial Intelligence
M1IGD - M1 IGD - Interaction, Graphic and Design
M1REDESI - M1 DES - Recherche en Design
M2DATAAI - M2 DATAAI - Data and Artificial Intelligence
M2DESI - M2 DES - Recherche en Design
M2ICS - M2 ICS - Integration, Circuits and Systems
M2IGD - M2 IGD - Interaction, Graphic and Design
M2IREN - M2 IREN - Industries de Réseau et économie numérique
M2MICAS - M2 MICAS - Machine learnIng, CommunicAtions, and Security
M2MVA - M2 MVA - Mathématiques, Vision, Apprentissage
M2SETI - M2 SETI - Systèmes embarqués et traitement de l'information
PHDCOMPSC - PhD Track - Computer Science
Mastère spécialisé
ADE - Architecte Digital d'Entreprise
ARC - Architecte Réseaux et Cybersécurité
BGD - Big Data : gestion et analyse des données massives
CYBER2 - Cybersécurité et Cyberdéfense
ECRSI - Expert cybersécurité des réseaux et des systèmes d'information
IA - IA : Intelligence Artificielle
MSIR - Management des systèmes d'information en réseaux
SMOB - Smart Mobility - Transformation Numérique des Systèmes de Mobilité
Programme d'échange
PEI - Echange international non diplomant
Catalogue 2023 - 2024
Certificat d'Etudes Spécialisées
CESCDRS - CES Cybersécurité des données, réseaux et systèmes
CESCDRS-INTRA - CES Cybersécurité des données, réseaux et systèmes-INTRA
Ingénieur
ING - Diplôme d'ingénieur
Master
DATA AI - Data & Artificial Intelligence
DESIGN - Master recherche en Design
ICS - Integration Circuits Systems
IGD - Interaction, Graphic & Design
IREN - Industries de réseau et economie numérique (IREN)
MICAS - Information processing: machine learning, communications and security
MVA - Mathématiques, Vision, Apprentissage
SETI - Systèmes embarqués et traitement de l'information
Master Télécom SudParis
CSN - Informatique pour les Réseaux
Cyber M1 - Cybersecurity M1
Cyber M2 - Cybersecurity M2
EECIP - Electrical Engineering for Communication Information Processing
MN - Multimedia Networking M2
PDS M1 - Systèmes distribués et parallèles M1
PDS M2 - Systèmes distribués et parallèles M2
TRIED M2 - Traitement de l'Information & Exploitation des Données Master 2
VAR - Virtual & Augmented Reality M2
Mastère spécialisé
ADE - Architecte Digital d'Entreprise
ARC - Architecte Réseaux et Cybersécurité
BGD - Big Data : gestion et analyse des données massives
CARC - Conception, Architecture de Réseaux et Cybersécurité
CPD - Concepteur de Projet Digital
CYBER2 - Cybersécurité et Cyberdéfense
IA - IA : Intelligence Artificielle
MSIR - Management des systèmes d'information en réseaux
SE - Systèmes embarqués
SMOB - Smart Mobility - Transformation Numérique des Systèmes de Mobilité
Programme d'échange
PEI - Echange international non diplomant
2.12.7 (539)
Accueil
Enseignement de Master
-
CSC7284 :
Formal Verification
Informations générales
Pré-requis
Acquisition de l'UE
Descriptif & programme
Diplôme(s) concerné(s)
Computer Science for Networks M2
Parcours de rattachement
Computer Science for Networks - Master 2
Pour les étudiants du diplôme
Computer Science for Networks M2
E-mail
Catégorie
Site(s)
Téléphone
Téléphone
Entité de rattachement :
Libelle diplôme :
Niveau :
Site :
Fonction :
Programme d'échange :
Régime d'inscription :
