Le moteur de recherche
des thèses françaises
Julien Signoles
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Vérification de programmes
Langage de spécification
Langages de programmation -- Sémantique
Test unitaire
Preuve de programmes
Combinaison d'analyse
Couverture de code
Logiciels -- Développement
Systèmes informatiques -- Mesures de sûreté
Interprétation abstraite
Méthodes formelles (informatique)
Langages de programmation
Programmation fonctionnelle (informatique)
Analyse de traces
Dsl
Système cyberphysiques médicaux
Scpm
SDL (langage de programmation)
Verification a L'execution