Este artículo tiene varios problemas. Ayude a mejorarlo o discuta estos problemas en la página de discusión . ( Obtenga información sobre cómo y cuándo eliminar estos mensajes de plantilla )
|
Averest es un lenguaje de programación sincrónico y un conjunto de herramientas para especificar, verificar e implementar sistemas reactivos. Incluye un compilador para programas síncronos, un verificador de modelos simbólicos y una herramienta para la síntesis de hardware / software.
Se puede utilizar para modelar y verificar sistemas de estados finitos e infinitos, en diversos niveles de abstracción. Es útil para el diseño de hardware, modelado de protocolos de comunicación, programas concurrentes , software en sistemas integrados y más.
Componentes: compilador para traducir programas síncronos a sistemas de transición , verificador de modelos simbólicos , herramienta para síntesis hardware / software. Estos cubren gran parte del flujo de diseño de sistemas reactivos, desde la especificación hasta la implementación. Aunque las herramientas son parte de un marco común, en su mayoría son independientes entre sí y se pueden usar con herramientas de terceros.