Tags: Programming Language.
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.