A place to discuss the science of computers and programs, from algorithms to computability.
Formal proofs preferred.
Moderators: phlip, Larson, Moderators General, Prelates
Is there anyone who familiar with proofing the correctness of a program (algorithm) using Hoare logic??
Thank you very much.
- Posts: 14
- Joined: Thu Jan 26, 2012 4:42 am UTC
Return to Computer Science
Who is online
Users browsing this forum: No registered users and 6 guests