Claude Marché
Mots clés
FR |
EN
Logiciels -- Vérification
Méthodes formelles (informatique)
Vérification déductive
Méthodes formelles
Logique
UML (informatique)
Preuve de programme
Preuve formelle
Langage de programmation
Certification
Ingénierie dirigée par les modèles
Preuve de programmes
Raffinement
Réécriture, Systèmes de (informatique)
C (langage de programmation)
Typage
Alias de pointeurs
Régions
Permissions
Séparation