Averest is a historical programming language created in 2005. Averest is a synchronous programming language and set of tools to specify, verify, and implement reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis. It can be used to model and verify finite and infinite state systems, at varied abstraction levels. Read more on Wikipedia...
- Averest ranks in the top 50% of languages
- the Averest wikipedia page
- Averest first appeared in 2005
- See also: esterel
- I have 22 facts about Averest. what would you like to know? email me and let me know how I can help.
Last updated December 4th, 2019