Concept
Programmation par contrat
Séances de cours associées (33)
Déplier des fonctions récursives en Inox
Couvre le concept de déploiement des fonctions récursives à l'aide de l'outil Inoxydable.
Tutoriel en acier inoxydable: Demo.scala Basics
Couvre les bases de l'écriture et de la vérification du code Scala à l'aide du fichier Demo.scala.
Programmes de vérification avec l'inox: Partie 2
Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
Comment les classes sont organisées
Couvre la façon dont les classes et les objets sont organisés en paquets, les importations, la hiérarchie des classes de Scala, les traits, les types supérieurs, le type Nothing, les exceptions et comprend un exercice sur la détermination de type.
Propriété intellectuelle : concepts et études de cas
Couvre les concepts de propriété intellectuelle, les brevets, les marques et les dessins et modèles industriels, avec des études de cas sur les litiges relatifs aux marques et les dépôts de brevets innovants.
Hoare Logic : Postconditions et Préconditions
Couvre la logique Hoare, les postconditions, les conditions préalables et les preuves de comportement du programme.
Tutoriel du système de vérification inoxydable
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Exactitude des compilateurs: Partie 2
Explore l'exactitude des compilateurs, en mettant l'accent sur l'évaluation des expressions, la compilation bytecode et les opérations de pile.
Planification automatisée : modélisation et contraintes
Explore la planification automatisée, les contraintes et les applications dans divers domaines, en mettant l'accent sur les défis et l'efficacité de la résolution des problèmes de planification.
Vibration des molécules diatomiques
Explore la vibration des molécules diatomiques AB et des séries de Fourier, en mettant l'accent sur les équations du mouvement et le théorème de Dirichlet.