Averest
Edit Page
Report
Scan day: 07 February 2014 UTC
7
Virus safety - good
Description: 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).
Averest is a framework for the specification, verification, and implementation of reactive systems. It can be used to build various tools targeting software in embedded systems, concurrent programs in general and hardware design.
Size: 229 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | The Averest System |
| Keywords: | Averest, Synchronous Languages, Formal Verification, Model Checking, Controller Synthesis, Execution Time Analysis |
| Description: | |
| IP-address: | 131.246.166.1 |