|
|
Averest is a framework for the specification, verification, and implementation of reactive systems. It can be used to build various tools targeting software in embedded systems, concurrent programs in general and hardware design.
Averest is developed by the Embedded Systems Group at the University of Kaiserslautern. For more information, see the overview and the documentation. Executables can be obtained on the download page. If you have any questions or comments regarding our tools or web pages, please contact us.
|