霍尔逻辑(Floyd-Hoare Logic)

https://zhuanlan.zhihu.com/p/105134213?utm_source=QQ_article_bottom ...