1. Home
  2. Computer
  3. Programmin­g
  4. Averest

Computer · Programmin­g

Averest

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

About Averest

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

Tags

Snobol

Where it sits

Computer Programmin­g

More in Programmin­g

See all →