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.

Loading...

This page contains content from the copyrighted Wikipedia article "Averest"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.