Averest is a 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...
- the Averest wikipedia page
- Averest first appeared in 2005
- See also: esterel
- Have a question about Averest not answered here? Email me and let me know how I can help.
Last updated May 25th, 2020