The Eiffel Verification Environment. http://eve. origo.ethz.ch (0)