Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Averest is a programming language designed to facilitate the development of reliable and high-assurance software. It integrates formal verification principles into the language, allowing developers to specify and verify correctness properties of their programs. Averest uses mathematical concepts such as sets, functions, relations, algebraic data types in its specification constructs and features built-in support for automatic generation of verification conditions. The language was developed by Esterel Technologies which is now part of ANSYS Inc., who has incorporated much of its technology into their SCADE toolchain for model-based systems engineering in safety-critical environments like aerospace, automotive, rail transportation industries.