Reif is Research Eiffel

Welcome to the Reif website! Reif is a research version of EiffelStudio. Reif integrates research projects such as AutoProof, AutoFix and others among each other and with EiffelStudio itself.

Reif is being developed at the Chair of Software Engineering of Constructor Institute of Technology.

Reif is a fork of EVE which was developed at the Chair of Software Engineering at ETH Zurich.

AutoProof

AutoProof is an auto-active verifier for functional properties of the Eiffel programming language. It uses the Boogie verifier as a back-end.

To get started with AutoProof take a look at the AutoProof quick start guide.

A more systematic description of AutoProof is in the AutoProof tutorial.