Trois outils théoriques utiles

• Sémantique

  • équivalences comportementale, preuves, transformations de programmes, …

• Typage

  • sûreté de l’exécution, sécurité, immobilité, …

• Logique

  • proof carrying code, model-checking, …