Is there anyone who familiar with proofing the correctness of a program (algorithm) using Hoare logic??
Thank you very much.
Hoare Logic
Moderators: phlip, Larson, Moderators General, Prelates
1 post
• Page 1 of 1
Hoare Logic
by anggha.satya11 » Thu Mar 08, 2012 9:48 am UTC
- anggha.satya11
- Posts: 14
- Joined: Thu Jan 26, 2012 4:42 am UTC
1 post
• Page 1 of 1
Who is online
Users browsing this forum: No registered users and 6 guests