Skip to search formSkip to main contentSkip to account menu

Averest

Averest is a synchronous programming language and set of tools to specify, verify, and implement reactive systems. It includes a compiler for… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
CompilerEmbedded systemEsterelList of programming languages

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Compiling synchronous languages to optimal move code for exposed datapath architectures
Conventional processor architectures are limited in exploiting instruction level parallelism (ILP). One of the reasons for this… 
2017
2017
Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems
Since the synchronous model of computation is shared between synchronous languages and synchronous hardware circuits, synchronous… 
2013
2013
Translating synchronous guarded actions to interleaved guarded actions
In general, guarded actions are well suited to describe systems with different models of computations (MoCs). Different MoCs are… 
2013
2013
Embedding Polychrony into Synchrony
This paper presents an embedding of polychronous programs into synchronous ones. Due to this embedding, it is not only possible… 
2013
2013
Generating hardware specific code at different abstraction levels using Averest
In general, embedded systems can be designed at different levels of abstraction, e.g., as pure hardware circuit designs, as bare… 
2013
2013
Interactive verification of cyber-physical systems: Interfacing Averest and KeYmaera
Verification is one of the essential topics in research of cyber-physical systems. Due to the combination of discrete and… 
2013
2013
An Interactive Verification Tool for Synchronous/Reactive Systems
Model checking is so far the dominant verification technique for synchronous/reactive systems. However, it is well-known that… 
Review
2011
Review
2011
Separate Translation of Synchronous Programs to Guarded Actions
This report gives an overview of the separate translation of synchronous imperative programs to synchronous guarded actions. In… 
2007
2007
Formal verification of safety behaviours of the outdoor robot ravon
This paper presents an approach to the formal verification of safety properties of the behaviour-based control network of the… 
2005
2005
Synthesizing deterministic controllers in supervisory control
Supervisory control theory for discrete event systems is based on finite state automata whose inputs are partitioned into… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)