Installation

• Installation Notes, Version 2.2, 2011

User Manual and Technical Documentation

• Averest Mini-HowTo, Version 2.2, 2011.
• Quartz Language Reference Card , Version 2.2, 2011.
• Quartz Introduction Slides, 2011.
• The Synchronous Programming Language Quartz , Version 2.0, 2009.

Research Papers

To learn more about the foundations and algorithms behind the Averest tools, see the following pages:

• publications of es.cs.uni-kl.de
• research pages of es.cs.uni-kl.de

External Links

• Synchronous Programming: The Esterel Language, Synchronous Applications, Languages, and Programs, Esterel Technologies
• Model Checkers: SMV, NuSMV, Cadence SMV
• Binary Decision Diagrams: CUDD, BuDDy
• SAT Solvers: zChaff, MiniSat