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

15Years Old 20Users ?Jobs

Last updated August 9th, 2020

Edit Averest on GitHub