Averest is a programming language created in 2005.
| #2313on PLDB | 18Years Old |
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...