User loginNavigation 
A proof engine for EiffelThe following paper describes a proof engine for the Eiffel language. The proof engine allows the verification of the assertions of Eiffel Modularization techniques are introduced to the keep the proofs small and The proof engine has some improved features to do the burdensome work for the  In the first chapter the basic concepts are explained.  The second chapter introduces the commands of the proof engine.  The third chapter shows how basic properties of boolean expression can be  The forth chapter applies the proof engine to assertions within the class  The fifth chapter shows how routines can be proved. Find the detailed paper at http://tecomp.sourceforge.net (manual navigation: http://tecomp.sourceforge.net > white papers > verification > proof engine) By hbrandl at 20100707 18:38  LtU Forum  previous forum topic  next forum topic  other blogs  4013 reads

Browse archivesActive forum topics 
Recent comments
1 hour 18 min ago
2 hours 51 min ago
2 days 1 hour ago
2 days 4 hours ago
3 days 23 hours ago
4 days 8 min ago
4 days 6 hours ago
4 days 8 hours ago
4 days 16 hours ago
4 days 16 hours ago