Hoare Logic
📝
内容提要
Hoare logic forms the basis of all deductive verification. To illustrate Hoare logic, we first consider a smaller imperative programming language IMP. In IMP, we have three program constructs:...
➡️
