A place to discuss the science of computers and programs, from algorithms to computability.
Formal proofs preferred.
Moderators: phlip, Larson, Moderators General, Prelates
Hi everyone. I wanna proof the correctness of Strassen program. It is for multiplying 2 matrices. That program contains recursive function to itself. I wanna proof this program using Hoare proof system. But, until now I haven't found the proof system for program contains recursive. Is there anyone can help me?
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 3 guests