Pôle "Interfaces et Environnements"

Projet Minotaur: des spécifications formelles aux outils interactifs

Responsable: Isabelle Attali
INRIA Sophia Antipolis
  • Sémantique des langages de programmation

    • sémantique naturelle
    • grammaires attribuées

  • génération d'outils à partir de spécifications formelles

  • environnements interactifs conviviaux pour:

    • la programmation
    • la preuve

  • visualisation graphique

    • arbres de preuves
    • règles d'inférences
    • formules mathématiques

  • coopération d'outils