|
|
|
|
|
|
Averest
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).
|
|
| |
|
|
|
