DISCLAIMER: AutoProof is a 3rd party tool offered by ETH Zurich - Chair of Software Engineering. By clicking ‘►’, you instruct rise4fun to send the source to ETH Zurich - Chair of Software Engineering’s AutoProof to be analyzed. Please refer to the terms of use and privacy policy of AutoProof. Contact support for details.
'►' shortcut: Alt+B
about AutoProof - a Program Verifier for Eiffel
AutoProof is an automated program verifier to check functional correctness of Eiffel programs. It is part of the Eiffel Verification Environment (EVE), an IDE that integrates verification tools. For more information on AutoProof visit:
rise4fun © 2015 Microsoft Corporation - terms of use - privacy & cookies - code of conduct