Séances de cours associées à Logiciel multiplateforme

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.

Calendrier et analyse des performances : vérification du modèle

Couvre la chronologie et l'analyse des performances à l'aide de la vérification des modèles et de l'établissement de calendriers objectifs multiples.