• Aucun résultat trouvé

Rapport d'avancement sur la vérification formelle des algorithmes de ParcourSup

N/A
N/A
Protected

Academic year: 2021

Partager "Rapport d'avancement sur la vérification formelle des algorithmes de ParcourSup"

Copied!
41
0
0

Texte intégral

Loading

Figure

Figure 2.2 – Example of a algebraic data type to represent the typed AST of the Java/JML program, and the wrapping in α obj to deal with cycles in the type AST.
Table 2.1 – The use of automatic theorem provers in the verification conditions (VC) as generated using Jml 2 Why 3 for the arithmetic and null-pointer safety of the ParcourSup algorithm (Appendix 3.2.2).

Références

Documents relatifs

- a) A la production, au plus tard le premier jour de la rentrée, d'un certificat établi par un médecin agréé attestant que l'étudiant ne présente pas de contre-indication physique

Ceux qui le souhaitent pourront suivre cette formation par apprentissage dès la première année, ou la deuxième année seulement, sous réserve de présenter un contrat

Ce questionnaire est un outil informatif et pédagogique mis à disposition des candidats qui, grâce à lui, peuvent avoir un premier aperçu des types de connaissances et de compétences

Avoir le goût, la rigueur et la créativité pour élaborer des supports de communication Disposer d'une bonne culture générale dans les domaines de la communication..

Disposer de compétences scientifiques et techniques propres au secteur sanitaire et social ou au secteur de la gestion des ressources humaines Disposer de compétences relationnelles

Cette mention, qui comporte obligatoirement des enseignements de langues vivantes, impose une très bonne maîtrise au niveau baccalauréat de la langue choisie.. * Faire preuve

Les candidats titulaires ou en préparation d'un diplôme français de niveau IV (hors baccalauréat, DAEU auquels s'ajoute la capacité en droit pour les licences de droit) doivent

Les candidats titulaires ou en préparation d'un diplôme français de niveau IV (hors baccalauréat, DAEU auquels s'ajoute la capacité en droit pour les licences de droit) doivent