|
|
Averest is a set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler and a simulator for synchronous programs, a symbolic model checker and a tool for hardware-software synthesis. In particular, Averest is not only well-suited for hardware design, but also for modeling communication protocols, concurrent programs, software in embedded systems, etc.
Averest is developed by the Embedded Systems Group at the University of Kaiserslautern. For more information, see the overview and the documentation. Executables and examples can be obtained on the download page. If you have any questions or comments regarding our tools or web pages, please contact us.
|