Averest

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

    Liens externes
    • icône décorative Portail de la programmation informatique
    Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.