Le moteur de recherche
des thèses françaises
Jan-Georg Smaus
IdRefMots clés
FR |
EN
Conception modulaire
Correction par construction
Spécifications à ensembles d'acceptation
Théorie de spécification
Atteignabilité
Convexité
Arithmétique modulaire
Systèmes informatiques -- Mesures de sûreté
Concurrence
Vérification formelle
Transformation de code
Modèles mémoire faible
FRAMA-C
Logiciels -- Vérification
Transcodage
ACSL (langage de programmation)