霍尔逻辑 Hoare logic ; [自] Hoare logic ; Hoare rules
文章题目 关键词：软件安全；指针逻辑；Hoare 逻辑；携带证明的汇编程序 [gap=1154]Key words: software safety, pointer logic, Hoare logic, certified assembly program
基于8个网页-相关网页
hoare逻辑 hoare s logic
类Hoare逻辑系统 Hoare-style Logic ; Hoare-like Logic
应用推荐