Top Qs
Timeline
Chat
Perspective
Averest
From Wikipedia, the free encyclopedia
Remove ads
Averest is a synchronous programming language and set of tools to specify, verify, and implement reactive systems.[1][2] It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis.
 | This article needs additional citations for verification. (November 2025) |
It can be used to model and verify finite and infinite state systems, at varied abstraction levels.[3] It is useful for hardware design, modeling communication protocols, concurrent programs, software in embedded systems, and more.
Components: compiler to translate synchronous programs to transition systems, symbolic model checker, tool for hardware/software synthesis. These cover large parts of the design flow of reactive systems, from specifying to implementing. Though the tools are part of a common framework, they are mostly independent of each other, and can be used with 3rd-party tools.
Remove ads
See also
References
External links
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads