All Questions
Tagged with check-my-answer program-correctness
1 question
0
votes
2
answers
564
views
Hoare Calculus Incorrect Assignment Axiom
I'm currently preparing for an exam and recently came across the following exercise and would like to know whether my solution would be correct.
Exercise:
Prove that the following axiom is not ...
- 113