std::bodun::blog
bodunhu.com
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: expres…
讨论
登录后参与讨论
还没有评论，来说第一句吧。