Averest

Averest est un langage de programmation synchrone conçu 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 ainsi qu'un compilateur.

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.