Averest
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Cet article manque de repères chronologiques ou de dates ().
Vous pouvez ajouter les données manquantes avec leurs sources.
Cet article ne s'appuie pas, ou pas assez, sur des sources secondaires ou tertiaires ().
Pour améliorer la vérifiabilité de l'article ainsi que son intérêt encyclopédique, il est nécessaire, quand des sources primaires sont citées, de les associer à des analyses faites par des sources secondaires.
Averest est un langage de programmation synchrone conçu [Quand ?] par un groupe de l'université technique de Kaiserslautern qui permet de spécifier, vérifier et implémenter des systèmes dit réactifs. Averest contient aussi des outils qui permettent la vérification automatique de systèmes dynamiques et un compilateur.
Notes et références[modifier | modifier le code]
Liens externes[modifier | modifier le code]
- Averest Toolbox Site officiel
- Embedded Systems Group Groupe qui développe Averest Toolbox
