- Averest
- www.averest.org
- A set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis. Downloadable in binary form for Linux (i586).
3.3
(si*)
<5
-
4
The rating value is calculated according to the algorithm, which considers all rating indicators.
As soon as number of users ratings reaches defined level, the rating is to be substituted by the users one.