Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,227,207 papers from all fields of science
Search
Sign In
Create Free Account
Averest
Averest is a synchronous programming language and set of tools to specify, verify, and implement reactive systems. It includes a compiler for…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Compiler
Embedded system
Esterel
List of programming languages
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
An Interactive Verification Tool for Synchronous/Reactive Systems
Manuel Gesell
,
K. Schneider
Methoden und Beschreibungssprachen zur…
2013
Corpus ID: 34201463
Model checking is so far the dominant verification technique for synchronous/reactive systems. However, it is well-known that…
Expand
2010
2010
From Synchronous Guarded Actions to SystemC
J. Brandt
,
Mike Gemünde
,
K. Schneider
Methoden und Beschreibungssprachen zur…
2010
Corpus ID: 2109393
In this paper, we present an automatic translation from synchronous guarded actions to SystemC. Synchronous guarded actions are…
Expand
2005
2005
A unified model checking framework for the supervisor synthesis problem
Andreas Morgenstern
,
K. Schneider
GALOP@ETAPS
2005
Corpus ID: 1845282
Abstract. The supervisor synthesis problem asks whether one can restrict the behavior of a reactive system such that it satisfies…
Expand