Sujet de la thèse : Preuve déductive de programmes réactifs en SaIL

Début de la thèse : 01/10/2024

Directeur de thèse : Frédéric DABROWSKI

Résumé :

Preuve déductive de programmes réactifs en SaIL