Averest

Averest este un limbaj de programare sincronă și un set de instrumente pentru a specifica, verifica și implementa sisteme reactive.

Include un compilator pentru programe sincrone, un verificator de model simbolic și un instrument pentru sinteza hardware/software.

Poate fi utilizat pentru modelarea și verificarea sistemelor de stare finită și infinită, la niveluri variate de abstractizare.

Este util pentru proiectarea hardware, modelarea protocoalelor de comunicare, programe concomitente, software în sisteme încorporate și multe altele.

Componente: compilator pentru a traduce programe sincrone în sisteme de tranziție, verificare a modelului simbolic, instrument pentru sinteză hardware/software.

Acestea acoperă mari părți ale fluxului de proiectare a sistemelor reactive, de la specificarea la implementare.

Deși instrumentele fac parte dintr-un cadru comun, acestea sunt în mare parte independente unul de celălalt și pot fi utilizate cu instrumente terțe.