Exécution symbolique efficace

Projet: Recherche

Détails du projet

Description

L'objectif de ce projet est de construire un réseau composé de 8 noeuds
dans 4 pays de l'ancienne Union Soviétique et 11 noeuds dans 7 états membres de l'Union
Européenne. La recherche se focalise sur les exécutions symboliques efficaces, l'efficacité
étant entendue aux niveaux des implémentations, des algorithmes et du développement
de programmes.
AcronymeESC
statutFini
Les dates de début/date réelle1/12/941/04/99

mots-clés

  • executions symboliques
  • programmation logique
  • exécutions symboliques