Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Reasoning with quantified expressions in predicate calculus
8 views
Skip to first unread message
Helmut
Apr 20, 2012, 6:37:21 PM4/20/12
to
In order to prove software to be correct, predicate calculus with
quantified expressions (for all, exists) is indispensable. The
programming language Modern Eiffel has all possibilities to do
predicate calculus.
The article
http://softwareverificaton.wordpress.com/2012/04/02/83/
describes how reasoning with quantified expressions is done in Modern
Eiffel.
quantified expressions (for all, exists) is indispensable. The
programming language Modern Eiffel has all possibilities to do
predicate calculus.
The article
http://softwareverificaton.wordpress.com/2012/04/02/83/
describes how reasoning with quantified expressions is done in Modern
Eiffel.
0 new messages