Courses

New filter
New filter
Full name
Short name
Summary
Custom course fields

39035 Courses

Fullname Shortname Summary
Surfaces/couches minces-M1 Matériaux et management industriel - Apprentissage UPSUD_2020_940_UE_OMRMT-900-O4MT01-904-D4MTC11A RESUME COURS : See course
Anglais S2-M1 Matériaux et management industriel - Apprentissage UPSUD_2020_940_UE_OMRMT-900-O4MT01-904-D4MTCAN2 RESUME COURS : See course
UNICIEL PRESCRISCIENCES UPSUD_2021_980_UNICIEL_PRESCRISCIENCES See course
Conception des transmissions mécaniques ENSPS_DGM_M1_C21 See course
Conception et dimensionnement des transmissions hydrauliques et hybrides ENSPS_DGM_M1_C22 See course
FAO ENSPS_DGM_M1_C23 See course
Pilotage et optimisation de chaines logistiques ENSPS_DGM_M1_C24 See course
Systèmes dynamiques hybrides ENSPS_DGM_M1_C25 See course
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.

 See course
Thermodynamique 1 PCST-L1 Géosciences, Physique, Chimie UPSUD_2020_940_UE_OLDGPC-900-O1DGPC-900-OLPH103P RESUME COURS : See course
Instrumentation-L1 Géosciences, Physique, Chimie UPSUD_2020_940_UE_OLDGPC-900-O1DGPC-900-OLPH155 RESUME COURS : See course
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 : See course
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 : See course
Compétences : usages et maîtrise des TICE-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE4 RESUME COURS : See course
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 : See course
Electromagnétisme L1 PCST-L1 Géosciences, Physique, Chimie UPSUD_2020_940_UE_OLDGPC-900-O1DGPC-900-OLPH153P RESUME COURS : See course
Disciplines et didactiques-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE2 RESUME COURS : See course
Compétences éducatives et pédagogiques-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE3 RESUME COURS : See course
Compétences réglementaires et institutionnelles-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE1 RESUME COURS : See course
Compétences en langue-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE6 RESUME COURS : See course
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 : See course
Hébergement de ressources eCampus ouvertes HebergementRessourceNepasSuppr See course
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 : See course
Sciences humaines et sociales-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS2SHS RESUME COURS : See course
Chimie-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS1CHI RESUME COURS : See course
Anglais-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS2ANG RESUME COURS : See course
Anglais réorientation-1ère année Santé PASS UFR Pharmacie UPSUD_2020_920_UE_UPASS-900-UPASHB-970-UPS2CANG RESUME COURS : See course
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 : See course
Astrophysique expérimentale-L2 interface Physique Chimie UPSUD_2020_940_UE_OLXPHY-900-O2XCHI-930-DLPH243A RESUME COURS : See course
Biochimie-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS1BCH RESUME COURS : See course