Averest
langage de programmation
From Wikipedia, the free encyclopedia
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.
Cet article est une ébauche concernant l’informatique.
Cet article manque de repères chronologiques ou de dates ().
Cet article ne s'appuie pas, ou pas assez, sur des sources secondaires ou tertiaires ().
