-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
averest.scroll
20 lines (17 loc) · 1.16 KB
/
averest.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
import ../code/conceptPage.scroll
id averest
name Averest
appeared 2005
tags pl
centralPackageRepositoryCount 0
country Germany
originCommunity Technical University of Kaiserslautern
wikipedia https://en.wikipedia.org/wiki/Averest
related esterel
summary 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. It is useful for hardware design, modeling communication protocols, concurrent programs, software in embedded systems, and more. Components: compiler to translate synchronous programs to transition systems, symbolic model checker, tool for hardware/software synthesis. These cover large parts of the design flow of reactive systems, from specifying to implementing. Though the tools are part of a common framework, they are mostly independent of each other, and can be used with 3rd-party tools.
created 2005
backlinksCount 8
pageId 2211949
revisionCount 18
dailyPageViews 8
appeared 2011