Averest

Averest is a synchronous programming language and a set of tools to specify, verify and implement reactive systems. Its tools include a compiler for synchronous programs, a symbolic model checker, and a tool for hardware and software synthesis.