Cours

Nouveau filtre
Nouveau filtre
Nom complet
Nom abrégé
Résumé
Attributs personnalisés de cours

42860 Cours

Nom complet Nom abrégé Résumé
Systèmes dynamiques hybrides ENSPS_DGM_M1_C25 Voir le cours
CSC_4SL04_TP - Bases de la vérification des systèmes distribués TPT_UE_2122

Objectives
The aim of this module is to introduce key concepts related to the formal verification of concurrent and distributed software.

Syllabus - The following aspects are addressed:
- Introduction, role of verification in the development process. Modelling of behaviour and formal semantics.
- Process Algebras and Labelled Transition Systems (LTS).
- Behavioural Properties (non determinism, deadlock, livelock, fairness, starvation, etc.)
- Remarkable equivalences and pre-orders: trace, testing, simulation, bi-simulation.
- Temporal logics (LTL et CTL) and Model Checking, Kripke structure, Buchi Automata, Fix point.
- Petri Nets, modelling of concurrency, synchronisation, conflict. Finiteness. Linear Invariants.

 Voir le cours
Thermodynamique 1 PCST-L1 Géosciences, Physique, Chimie UPSUD_2020_940_UE_OLDGPC-900-O1DGPC-900-OLPH103P RESUME COURS : Voir le cours
Instrumentation-L1 Géosciences, Physique, Chimie UPSUD_2020_940_UE_OLDGPC-900-O1DGPC-900-OLPH155 RESUME COURS : Voir le cours
Oraux de prépation aux concours-DU 3 LDD3 Mathématiques, Physique et Sciences de l'ingénieur UPSUD_2020_940_UE_ODUMP-900-O3UMP-900-OLMA380 RESUME COURS : Voir le cours
Théorie des groupes-DU 3 LDD3 Mathématiques, Physique et Sciences de l'ingénieur UPSUD_2020_940_UE_ODUMP-900-O3UMP-900-DLPY369A RESUME COURS : Voir le cours
Compétences : usages et maîtrise des TICE-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE4 RESUME COURS : Voir le cours
Réflexion et analyse personnelles appuyées sur la recherche-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE5 RESUME COURS : Voir le cours
Electromagnétisme L1 PCST-L1 Géosciences, Physique, Chimie UPSUD_2020_940_UE_OLDGPC-900-O1DGPC-900-OLPH153P RESUME COURS : Voir le cours
Disciplines et didactiques-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE2 RESUME COURS : Voir le cours
Compétences éducatives et pédagogiques-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE3 RESUME COURS : Voir le cours
Compétences réglementaires et institutionnelles-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE1 RESUME COURS : Voir le cours
Compétences en langue-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE6 RESUME COURS : Voir le cours
O4CI404 Connaissances transverses insertion professionnelle-Magistère Physico-Chimie Moléculaire 2ème année UPSUD_2020_940_UE_OMGPCM-900-OMGPC2-900-O4CI404 RESUME COURS : Voir le cours
Hébergement de ressources eCampus ouvertes HebergementRessourceNepasSuppr Voir le cours
Sciences humaines et sociales réorientation-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS2CSHS RESUME COURS : Voir le cours
Sciences humaines et sociales-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS2SHS RESUME COURS : Voir le cours
Chimie-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS1CHI RESUME COURS : Voir le cours
Anglais-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS2ANG RESUME COURS : Voir le cours
Anglais réorientation-1ère année Santé PASS UFR Pharmacie UPSUD_2020_920_UE_UPASS-900-UPASHB-970-UPS2CANG RESUME COURS : Voir le cours
Generalisation properties of algorithms in Machine Learning-M2 Mathématiques de l'aléatoire UPSUD_2020_940_UE_OMRMA-913-O5MDA-900-O5MDS09 RESUME COURS : Voir le cours
Astrophysique expérimentale-L2 interface Physique Chimie UPSUD_2020_940_UE_OLXPHY-900-O2XCHI-930-DLPH243A RESUME COURS : Voir le cours
Biochimie-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS1BCH RESUME COURS : Voir le cours
Sciences humaines et sociales-1ère année Santé PASS UFR Pharmacie UPSUD_2020_920_UE_UPASS-900-UPASHB-970-UPS2SHS RESUME COURS : Voir le cours
Anatomie-1ère année Santé PASS UFR Pharmacie UPSUD_2020_920_UE_UPASS-900-UPASHB-970-UPS2ANA RESUME COURS : Voir le cours
Statistiques-1ère année Santé PASS UFR Pharmacie UPSUD_2020_920_UE_UPASS-900-UPASHB-970-UPS1STA RESUME COURS : Voir le cours
Radioactivité et éléments de Physique Nucléaire-L2 Physique UPSUD_2020_940_UE_OLXPHY-900-O2XPHY-900-DLPH267 RESUME COURS : Voir le cours
Géom. diff. algébrique-Master 2 Analyse, Arithmétique, Géométrie UPSUD_2020_940_UE_OMRMA-911-O5MAG-900-O5MAG09 RESUME COURS : Voir le cours
Topologie algébrique I-Master 2 Analyse, Arithmétique, Géométrie UPSUD_2020_940_UE_OMRMA-911-O5MAG-900-O5MAG10A RESUME COURS : Voir le cours
Anglais réorientation-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS2CANG RESUME COURS : Voir le cours