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...

14Years Old 20Users 0Jobs
  • 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 August 22nd, 2019