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.
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
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… 
2010
2010
From Synchronous Guarded Actions to SystemC
In this paper, we present an automatic translation from synchronous guarded actions to SystemC. Synchronous guarded actions are… 
2006
2006
A Framework for Verifying and Implementing Embedded Systems
We present a framework for the development of embedded systems called Averest. It includes a compiler for synchronous programs, a… 
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… 
2005
2005
A unified model checking framework for the supervisor synthesis problem
Abstract. The supervisor synthesis problem asks whether one can restrict the behavior of a reactive system such that it satisfies… 
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)