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 (mars 2024).

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 (mars 2024).

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.