Séances de cours associées à Laboratoire de vérification de type

Séances de cours associées (32)

Explore la sécurité du langage de programmation, couvrant la sécurité de type, la sécurité de la mémoire, la sécurité des menaces, le modèle de propriété de Rust, le sandboxing et la compartimentation.

Type Règles : Progrès, Préservation

Couvre les règles de type, la vérification de type de programme, la solidité et les techniques de preuve.