Averest — это синхронный язык программирования и набор инструментов для спецификации, проверки и внедрения реактивных систем. Он включает в себя компилятор для синхронных программ, символьный проверяющий модуль и инструмент для синтеза оборудования/программного обеспечения.
Его можно использовать для моделирования и проверки систем с конечным и бесконечным состоянием на различных уровнях абстракции. Он полезен для проектирования оборудования, моделирования протоколов связи, параллельных программ , программного обеспечения во встроенных системах и многого другого.
Компоненты: компилятор для перевода синхронных программ в системы переходов , символическая проверка моделей, инструмент для синтеза оборудования/программного обеспечения. Они охватывают большую часть потока проектирования реактивных систем, от спецификации до реализации. Хотя инструменты являются частью общей структуры, они в основном независимы друг от друга и могут использоваться со сторонними инструментами.