Program correctness was taught this week. Proving correctness seemed rather straight forward. From what i understand, the key is to go slow and go line by line. We start at line 1 of the code and then probe deeper into the chunk of code. Since PS4 is about proving a python program, this is what i am going to do. I will start at the first line, and then just explain what the code will do at each iteration. It's rather similar to that example danny did in class but just not that complex. I just have to make sure my proof satisfies the postcondition.
We also did GCD. Nothing much to say about that.
Luckily PS4 is going to be due on monday instead. If not, with tests on wednesday and thursday, i wonder if i will complete PS4 on time without the extension.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment