Université de Nantes - Master 1 - ALMA - 2019/...

Preuves et Constructions Formelles - Deuxième partie (Méthode B)

Document du cours : Cours complet rassemblé (2023-2024) Introduction générale  [diapos] [diapos+audio] Introduction à la méthode B [diapos] [diapos+audio] Introduction au raffinement B [diapos] [diapos+audio] Raffinement en B - mise en application [diapos] Aller plus loin [mémento]

Documents de TD/TP :  Cahier d'exercices Rappels de Logique+Théorie des ensembles Cahier de Travaux dirigés et pratiques [guide td1] Mémento d'exercices résolus Tutoriel préparation environnement de travail

Fiche memo Langage B :   Fiche memo langage B

Diverses documentations Exemples de modélisation en B (constants+properties / Var+invariants) : PileNat, PileGenerique, Graphe, Exemples de modélisations/spécifications maths : Entier pair, impair, premier,  ... Développements de programmes :  DéveloPalindrome, Algo de Euclide (division), Carré de deux Nat/Z, etc  Mémento d'exercices résolus A tribute to Edmund Clarke   et plus encore CC1 2019/2020 - CC2 2019/2020 Assistance installation Pour les TD/TP Télécharger l'AtelierB ici (ClearSy) Télécharger ProB ici  (pour aller plus loin) Télécharger Rodin ici  (pour aller plus loin)

Contact christian (.) attiogbe )@( univ-nantes.fr